Статья 223

Теперь, используя введенные в употребление знаки, можно дать строгое систематическое описание языка исчисления предикатов первого порядка. При этом для чисто технического удобства мы будем использовать два вида индивидных переменных свободные индивидные переменные, связанные индивидные переменные.
С помощью индуктивного определения введем понятие квазитерма.
Индивидные константы и индивидные переменные суть квазитермы.
Если есть местная функциональная константа и квазитермы, не обязательно различные, то есть квазитермы.
Никакое другое выражение, кроме указанных, не есть квазитерм.
Последний пункт определения носит косвенный характер, и в дальнейшем в формулировках индуктивных определений мы будем его опускать.
Квазитерм, не содержащий вхождений связанных индивидных переменных, есть терм.
Теперь индуктивным определением введем понятие квазиформулы.