В противоречивой теории:

Ультрапроизведение семейства моделей некоторой теории моделью той же теории:

Сигнатура теории полугрупп состоит из:

Множество теорем теории равенств:

В теории действительных чисел со сложением и умножением, элиминация кванторов:

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

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Все теоремы теории Г:

Если в теории Г выводима формула (А - любая формула), то она: