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

8 года назад от радмир шангареев

1 ответ

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

Связанные вопросы