Не влазит в твиттер

18/5/2017
В любой достаточно богатой непротиворечивой теории 1-го порядка существует такая замкнутая формула F,что ни F,ни её отрицание не являются выводимыми в этой теории
Теорема Геделя о неполноте.
Полно, те, Гедель.

Оставить комментарий

Емейл не публикуется. Обязательные поля помечены символом *