Любое совместное множество замкнутых формул:

Для любого непротиворечивого множества замкнутых формул полное непротиворечивое множество замкнутых формул той же сигнатуры:

Всякое непротиворечивое множество замкнутых формул:

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

Если Г - множество формул, то тогда:

Если Г - множество формул, то:

Если Г - множество формул, то:

Множество всех истинных в N формул сигнатуры не выводится формула:

Любые два алгебраически замкнутых поля конечной характеристики n:

Любые два алгебраически замкнутых поля характеристики О:

Любое вхождение переменной в терм: