Думали - через года, через годы ли -
Счастье не за горами.
Но после второй теоремы Гёделя
Бросили строить храмы.
Нам стало понятно, что математика
Тоже несовершенна.
Значит, должны исходить из прагматики:
Истина - то, что ценно.
Можно ли верить тому, что доказано,
Если всё ненадёжно?
Вряд ли. Но веровать всё же обязаны,
А иначе тревожно.
Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
"Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна"
"Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)"
https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote
Говоря более простыми словами - математика несовершенна.