3622
правки
Изменения
м
Нет описания правки
|statement = В любой "достаточно богатой системе" существует истинное недоказуемое утверждение.
|proof =
Можно переформулировать теорему следующим образом: невозможно доказать, что <tex> p(x) = \pepr perp </tex>.
Тогда напишем такую программу:
