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

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

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

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

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

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

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

Среди гипердействительных чисел есть:

Среди гипердействительных чисел есть:

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

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