Теорема Курта Гёделя о неполноте

Математики столетий  прошлых
Серьезно были озабочены.
Они мечтали о системе аксиом,
Являющейся полной и непротиворечивой,
И для истинной задачи чтоб была ключом,
Ответ дать: ложный иль правдивый.
Давид Гильберт был уверен, эта весть
О системе аксиом существует, она есть.
Но мечту его сломала Курта Гёделя статья.
Автор математик - логик. Молодой, в 25 лет
Доказал: иметь систему аксиом просто нельзя.
Так была доказана теорема о неполноте,
Заставив математиков забыть об их мечте.
Теорема Геделя сообщает нам:
“Найти систему аксиом не удастся вам.
Истинное утверждение в арифметике найдете,
Но оно недоказуемо, это вы поймете”.
Гёдель сделал мощный трюк, свою нумерацию,
Числовые коды формулам создали унификацию
Он фактически создал число - утверждение:
“Я недоказуемо, попробуйте проверить”.
Само о себе утверждение твердит об этом нам,
Математики все в шоке:  “Это ж стыд и срам”.
Что же получается с системой аксиом?
Утверждение ответь нам, мы тебя поймем.
И решило утверждение правду рассказать:
“ Чтобы доказать меня, вам придется врать,
Аксиомы тогда ваши противоречивые
И к тому ж их не пополнить, это  очевидно.
Если ж утверждение вам не доказать,
Значит оно истинно - и система не полна”
Так великий Гёдель, логик гениальный
Доказал, что в математике есть и будут тайны.
Нынче у людей помощник, многому дает ответ,
Это очень долгожданный искусственный интеллект!
Геделя способ открыть тайну теперь ясен нам сполна,
Он здесь использовал известный “парадокс лжеца”.
У лжеца есть два пути, но с ответом “Не шути”,
Потому, что лишь тупик есть у каждого в пути.
А когда прохода нет, знать не полна система. Нет!