Например, основное понятие
математического анализа — понятие
вещественного числа — вводится в традиционном варианте теории на базе общего представления о
множестве. Для конструктивной математики, требующей, чтобы рассмотрение ограничивалось конструктивными объектами, такой способ определения понятия вещественного числа неприемлем. В ней под вещественными числами обычно понимают записи
алгоритмов (....), перерабатывающих любое натуральное число в некоторое рациональное число, и удовлетворяющих условию