Если вы читаете эти строки, вы изучали арифметику в школе. Вы наверняка умеете складывать числа, вычитать, умножать, и даже делить. Возможно, вы даже сталкивались с геометрией, где надо было доказывать равенство длин и параллельность прямых. Как бы то ни было, геометрия известна своими аксиомами и методом доказательств, выводом новых фактов из известных. Аксиомами должны быть "самоочевидные" утверждения. Но что это и откуда? А вдруг мы напихаем всего "самоочевидного" и получим "монстра"? Эти вопросы уже породили нечто странное и удивительное...

Я тут "переварил" некоторую мысль, недавно услышанную, и наложил её на математику. Получилось немного странно и страшно... Вводные: Суть заметки: Доказательство "от противного" нельзя вообще использовать...