*** (Думали - через года, через годы ли)

[alex_vinokur]

Думали - через года, через годы ли -
Счастье не за горами.
Но после второй теоремы Гёделя
Бросили строить храмы.

Нам стало понятно, что математика
Тоже несовершенна.
Значит, должны исходить из прагматики:
Истина - то, что ценно.

Можно ли верить тому, что доказано,
Если всё ненадёжно?
Вряд ли. Но веровать всё же обязаны,
А иначе тревожно.

2017

Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
«Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна»
«Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»
https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote

Говоря более простыми словами - математика несовершенна.