Статья 224

Если есть местная предикатная константа и квазитермы, то есть квазиформула.
Если суть квазиформулы, то суть квазиформулы.
Если есть квазиформула и связанная индивидная переменная, то суть квазиформулы.
Будем говорить, что вхождение некоторой переменной в квазиформулу находится в области действия квантора, если это есть вхождение в подформулу формулы вида.
Вхождение связанной переменной в квазиформулу будем называть свободным, если оно не находится в области действия квантора, или связанным в противном случае.
Под подстановкой вместо свободной переменной квазитерма в выражение будем понимать замещение каждого вхождения свободной переменной в квазитерм. Операцию подстановки будем обозначать.
Формулой называется квазиформула, не содержащая свободных вхождений связанных переменных. Формула без вхождений свободных переменных называется замкнутой формулой, или предложением.
Здесь термин предложение используется не в грамматическом, а в некотором техническом смысле, т.