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

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:

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

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

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

Конечно аксиоматизируемая полная теория в конечной сигнатуре:

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

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

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

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

Если теория имеет сколь угодно большое конечные нормальные модели, то она: