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

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

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

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

Для счетного (конечного) подмножество интерпретации M:

Если Г - множество формул, то тогда:

Если Г - множество формул, то:

Если Г - множество формул, то:

Всякое конечное гипердействительное число бесконечно близко к:

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

Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В: