GEB, стр. 213

**GEB, стр. 213**

Пример вывода в ТТЧ:
(S0+S0) = SS0 ("1+1=2")

14 шагов от аксиом!

Ловушка: манипулируя знакомыми символами (=), не торопитесь.

Следуйте правилам, а не знанию "пассивных значений".

🌀 Интуиция ведёт — но не заменяет формальный вывод.