有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明（有时也称为存在性证明或纯粹存在性证明）。后者只证明满足命题要求的物体存在，而不提供具体的实例或构造这样的实例的方法。构造性证明也可以指数学构成主义中被认可的一种更强的证明。数学构成主义是数学哲学的一支，它认为要证明一个对象的存在，必须将其构造出来。因此，他们拒绝使用如排中律，无穷公理和选择公理这样的公理。同时也有一些用语和以往不同，例如或("or")的语意会比传统数学中的更强。数学构成主义拒绝使用反证法，然而爆炸原理在一些数学