非构造性证明 非构造性证明是表述存在性的命题或定理的一种证明方式证明的过程中不举例而只证明语句是否正确非构造性证明很多时候依赖于排中律数学构成主义数学不允许非构造性证明