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