1= -1 × -1

Казалось бы - формальная логика. Двойное отрицание - тождественно закону исключённого третьего. Но...

Но что если не принимать аксиому фундирования:

Единица утверждает единицу.

Или:

X утверждает X.

Тогда X все также по двойному отрицанию должен отрицать собственное отрицание. Т.е.:

X= -1 × -1X

Логика прямая. И там и там. Но есть, как говорится, ньюанс.

Между тем, это общая форма решения парадокса лжеца. Которому, к слову, около 2500 лет.