Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в несчетной мощности:
Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:
Для счетной (конечной) сигнатуры и бесконечной ее интерпретации M:
Любая непротиворечивая теория:
Конечно аксиоматизируемая полная теория в конечной сигнатуре:
Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:
Любая теория, имеющая П2-аксиоматизацию:
Теория Г в сигнатуре S - это произвольное:
Однородное линейное упорядоченное множество такой же мощности для всякой бесконечной мощности:
Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:
