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

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

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

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

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

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

Мощность всех машин Поста:

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

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

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