**GEB, стр. 203–205**
Трюки ТТЧ:
"b положительно" → используй Sb (минимум = S0 = 1)
"b больше 1" → используй SSb (минимум = 2)
5 — простое число:
~∃b:∃c:SSSSS0=(SSb·SSc)
"Нет чисел, которые при +2 и умножении дают 5."
Бесконечность простых:
∀d:∃e:~∃b:∃c:(d+Se)=(SSb·SSc)
🌀 Одно высказывание — бесконечность переводов.