非构造性证明

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