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

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

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

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

Всякое непротиворечивое множество замкнутых формул:

Множество натуральных чисел, не являющееся арифметическим:

Любое совместное множество замкнутых формул:

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

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

Множество ограничено, если все элементы его гипердействительного аналога:

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