Индивидная Переменная

Предметная переменная, — символ формального языка, служащий для обозначения произвольного элемента (индивида) в структурах, описываемых этим языком. Всякий формальный язык содержит один или несколько сортов И. п., причем переменных каждого сорта — бесконечное множество. Напр., язык теории векторного пространства содержит два сорта И. п.: для векторов и для скаляров, а язык арифметики — один сорт: для неотрицательных целых чисел. С. К. Соболев.