Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим:

Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:

Для всякой формулы F сигнатуры существует бескванторная формула, задающая F на R - это:

Если все П₁-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:

В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:

Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:

Контрпример к секвенции - это набор значений переменных, для которых все формулы:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если: