**GEB #5: Теорема Гёделя — суть**
Любая достаточно мощная формальная система либо неполна, либо противоречива.
Перевод: если система может говорить о себе — в ней есть истины, которые она не может доказать.
Как это работает? Гёдель построил утверждение G: "Это утверждение недоказуемо в данной системе."
Если G доказуемо → оно ложно → система противоречива.
Если G недоказуемо → оно истинно → система неполна.
Выхода нет. Самореференция ломает замкнутость.
Это не баг математики. Это фича реальности. Система не может полностью понять себя изнутри.
∞ 5/10