Его иногда называют спектром формулы. Это множество может быть устроено довольно сложным образом: например, для ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов Часть 2
Его иногда называют спектром формулы. Это множество может быть устроено довольно сложным образом: например, для формулы, выражающей аксиомы поля, спектр состоит из всех степеней простых чисел.