Проблема спектра в расширенном исчислении предикатов

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