GEB, стр. 68–69

**GEB, стр. 68–69**

Надежда для Типографской Теории Чисел:

Множество ложных утверждений =
(1) негативное пространство теорем, или
(2) отрицания теорем

"Однако эта надежда окажется напрасной..."

🌀 Предвестие теоремы Гёделя: не все системы рекурсивны.