构造性证明 构造性证明英語Constructive proof是数学证明方法的一种通过直接或间接构造出具有命题所要求的性质的实例来完成证明与构造性证明相对的概念是非构造性证明后者只证明满足命题要求的物体存在而不提供具体的实例或构造这样的实例的方法 构造性证明也可以指数学构成主义中被认可的一种更强的证明数学构成主义是数学哲学的一支它认为要证明一个对象的存在必须将其构造出来因此他们拒绝使用如排中律无穷公理和选择公理这样的公理同时也有一些用语和以往不同例如或的语意会比基础数学中的更强 数学构成主义拒绝使用反证法然而爆炸原理在一些数学构成主义的变体中是被接受的包括直觉主义