**GEB, стр. 24**
Гёдель 1931: не просто дыры в "Основаниях математики".
Никакая аксиоматическая система не может породить все истины арифметики — если она непротиворечива.
И ещё удар: если бы "ОМ" могли доказать свою непротиворечивость методами "ОМ" — это бы означало, что они противоречивы!
🌀 Парадокс Эпименида — прямо в сердце формализма.