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

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

Арифметическое множество - это множество:

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

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

Если М - непустое множество, то множество всех <m1, m2,…, mk> - это:

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

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

Множество Г с моделью называется:

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

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