Математическая энциклопедия - индивидная переменная

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985