"Сколемовская нормальная форма" позволяет получать формулы класса:

Формулы класса :

Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Две формулы с параметрами эквивалентны, если они одновременно:

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

Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:

Если прототип формулы - тавтология, то бескванторная формула:

Выразимые в арифметике Пресбургера предикаты - это бескванторные формулы из:

Из выводимости "Сколемовской нормальной формы", выводимость формулы: