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

Теория Т - П₁ аксиоматизируема, если существуют П₁-формулы,из которых:

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

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

Теория Г может быть:

Теория П₁ аксиоматизируема, если она:

Теория Г может быть:

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

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

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

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