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