Статья 222

Рассмотрим, например, выражение.
В нем имеется по два вхождения каждого из логических знаков, два вхождения знака и три вхождения одного и того же знака. Если имеется в виду какое-то конкретное вхождение, то будем говорить о фиксированном вхождении данного знака или выражения в некоторое выражение.
Отметим, что наряду с функциональными и предикатными константами в языке исчисления предикатов могут использоваться функциональные и предикатные переменные соответствующих рангов, а также пропозициональные переменные. В логических языках первого порядка используются только кванторы вместе с индивидными переменными. Квантификация по функциональным, предикатным и пропозициональным переменным приводит к исчислению предикатов второго порядка. То, что в данном случае мы не вводим в язык функциональные, предикатные или пропозициональные переменные, не нарушает общности рассмотрения.