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

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

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

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

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

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

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

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

Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:

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

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