STF pode usar a matemática para decidir a reforma trabalhista?

Se ministros querem usar aritmética nas decisões, não podem criar os seus próprios números