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