Статья 218

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