Голосование можно проводить для:

Процесс вывода можно представить:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила:

Для замкнутой А можно указать этой же сигнатуры с добавленными функциональными символами, которая:

Любую модель теории D(A) можно считать расширением интерпретации А, если: