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