GEB, стр. 65–66
Соблазнительное правило:
"Если Sx НЕ теорема → тогда Px теорема"
Роковая ошибка! Проверка "нетеоремности" — не типографская операция.
Чтобы узнать что MU не теорема — пришлось выйти из системы.
🌀 Формальная система не может ссылаться на "таблицу не-теорем".