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

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

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

Любая непротиворечивая теория:

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

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

Любая теория, имеющая П₂-аксиоматизацию:

Теория Г в сигнатуре S - это произвольное:

Однородное линейное упорядоченное множество такой же мощности для всякой бесконечной мощности:

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

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