Статья 219

Можно рассматривать также нульместные функции. Это есть не что иное, как индивидные константы. Другими словами, индивидная константа есть нульместная функция, которая сопоставляет пустой последовательности объектов некоторый объект, именует этот объект. В качестве функциональных констант будем использовать символы.
Для обозначения местности предметных функций применяются верхние индексы одноместные, двухместные, местные. Будем говорить, что местные функциональные константы имеют ранг.
Предикатные константы - это выражения, обозначающие Свойства и отношения. Свойства и отношения называют предикатами. Предикаты могут быть одно-, двух- и вообще и местными. Как обычно, одноместные отношения мы называем свойствами, например красивый, высокий, холодный. В предложениях Лондон севернее Конотопа, Мать дает сыну касторку слово севернее обозначает двухместное отношение, а слово дает - трехместное.