成立。要构造式的证明formula_4，我们必须给出一个特定的formula_5和一个formula_6的证明。要构造式的证明formula_7，我们必须给出一个算法，它对于每个formula_8输出一个formula_6的证明。构造主义同时拒绝采用无穷对象，例如无穷集合和序列。
实分析中的例子.在经典实分析中，实数构造的方法之一是把它作为有理数的柯西列对。这个构造在构造主义数学中不成立，因为序列是无穷的。作为替换，我们把实数表示为一个算法formula_10，它取一个正整