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

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

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

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

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

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

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

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

Всякое конечное гипердействительное число бесконечно близко к:

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

Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория: