ИНДИВИДНАЯ ПЕРЕМЕННАЯ

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

С. К. Соболев.