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

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

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

Если существует бесконечно далекий a_k из ряда ‹a_i›, I=0,1,… который бесконечно близок к а, то:

Число а - предел ‹a_i›, i=0,1,…, если есть бесконечно далекий a_k:

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

Число ходов Новатора соответствует:

Размером схемы называется число:

Предикат "x - простое число номер n":

Число возможных диаграмм семейства многочленов:

Минимальное число слагаемых в сумме вида 1+1+…+1, при котором она обращается в нуль - это: