构造性证明

维基百科,自由的百科全书
跳转至: 导航搜索

在数学中,构造性证明证明方法的一种,通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明(有时也称为存在性证明或纯粹存在性证明)。后者只证明满足命题要求的物体存在,而不提供具体的实例或构造这样的实例的方法。