Статья 217

Ниже мы будем широко применять автонимное употребление имен, если контекст четко позволяет установить, идет ли речь об имени или объекте, который оно обозначает.
В дальнейшем мы будем автонимно употреблять не только индивидные константы, но также индивидные переменные, предикаты и другие знаки используемого языка.
Индивидные переменные - это выражения, которые сами по себе не обозначают объекты, но каждому из которых сопоставляется некоторая область объектов. В данном случае говорят, что переменная пробегает по области множеству объектов. В любом выражении, содержащем индивидную переменную, эту переменную можно замещать именами объектов из некоторой рассматриваемой области. Для ясности здесь нужно сделать следующую оговорку. Иногда в литературе пишут, что вместо всякого вхождения индивидной переменной, пробегающей множество объектов, подставляются индивиды, объекты из данной области.