**GEB, стр. 215–216**
ω-неполнота:
Все строчки пирамиды — теоремы:
(0+0)=0, (0+S0)=S0, (0+SS0)=SS0...
Но суммирующая ∀a:(0+a)=a — НЕ теорема!
Можно сделать "неевклидову ТТЧ" — добавить её ОТРИЦАНИЕ как аксиому.
Система останется непротиворечивой (нет x и ~x одновременно).
🌀 Экстранатуральные числа — числа без символов. БОГ как образ.