Старый вопрос. Почему 1=2? А точне, почему 1=1? Это не прикол. Хотелось бы послушать математиков.

1 ответ

0 голосов

Это формальное тождество следует из аксиом Пеано. Если вы спросите, насколько эта аксиоматика непротиворечива, то используя теорему Геделя о неполноте, можно сказать, что для логики первого порядка существует модель, которую нельзя доказать и опровергнуть в этой аксиоматике. Это как с пятым постулатом Евклида. Доказали, что он недоказуем в евклидовой геометрии.