Однородное линейное упорядоченное множество такой же мощности для всякой бесконечной мощности:

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

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

Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:

Для всякой формулы F сигнатуры существует бескванторная формула, задающая F на R - это:

Если А - бесконечная нормальная интерпретация сигнатуры S с равенством ,, то нормальное элементарное расширение мощности m:

Для счетной (конечной) сигнатуры и бесконечной ее интерпретации M:

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

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

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

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