GEB, стр. 71–72
Ключевое утверждение:
"Существуют рекурсивно перечислимые множества, не являющиеся рекурсивными."
р.п. = теоремы можно выводить по правилам (рисунок)
рекурсивное = и рисунок, и фон можно выводить
Результат сравним по глубине с теоремой Гёделя!
🌀 Не каждый фон — сам рисунок.