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

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

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

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

Параметром формулы A может быть:

Параметром формулы A может быть:

Параметром формулы A может быть:

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

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

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

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