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