Последовательность простых чисел:

Метод простых итераций гарантированносходится:

Последовательность называется вычислимой, если:

Мощность множества конструктивных действительных чисел:

Операция суммы двух конструктивных чисел:

Функция суммирования конструктивных чисел является конструктивной:

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

Конструктивная функция может быть задана на всем множестве действительных чисел:

Может ли сумма чисел, каждое из которых меньше по модулю машинного , быть больше 1: