**GEB, стр. 199–201**
Синтаксис ТТЧ:
**Числа:**
0, S0, SS0, SSS0... (S = "следующий за")
**Переменные:** a, b, c, d, e
**Кванторы:**
∃b: — "существует b такое, что..."
∀b: — "для всех b..."
Свободная переменная → открытая формула (не истина/ложь).
Квантифицированная → замкнутая (высказывание).
🌀 "Она неуклюжа" — ждёт контекста.