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

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

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

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

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

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

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

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

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

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

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