GEB, Глава II: Содержание и форма

**GEB, Глава II: Содержание и форма**

Система pr. Символы: p, r, –
Аксиома: хp–rх– (где х — тире)
Правило: если хpyrz теорема, то хpy–rz– тоже

Пример: ––p–r––– аксиома
Из неё: ––p––r––––

🌀 Узнаёте? Это сложение: 2+1=3, 2+2=4...