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

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

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

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

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

Линейное уравнение в конструктивных числах:

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

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

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

Конструктивная функция это:

Абстрактная функция это: