Кстати, кваксизмы напомнили мне еще один наглядный пример идиотизма бинарной формальной логики:
Например, мы проверяем утверждение "все вороны черные". Очевидно, что число ворон конечно, поэтому проверить утверждение можно простым перебором. Преобразуем исходное утверждение в логически эквивалентное: "Все НЕчерные предметы - НЕ вороны". С точки зрения формальной логики, безразлично, поверять исходное утверждение или эквивалентное ему второе утверждение. Но очевидно, что число всех нечерных предметов бесконечно много. И проверка утверждения становится принципиально невозможной.