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

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

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

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

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

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

Для счетной (конечной) сигнатуры и бесконечной ее интерпретации M:

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

Теория Г противоречива, если в ней выводится:

Любая теория, устойчивая относительно объединения:

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