**GEB, Глава III: Рисунок и фон**
Задача: формальная система, где P––– теорема ⟺ количество тире — простое число.
P–– (2) — теорема
P–––– (4) — НЕ теорема
Как это сделать типографскими операциями? Можно только: читать, писать, копировать, стирать, сравнивать символы.
🌀 Простые числа слишком "сложны"?