非構造性證明

非構造性證明是 「 表述存在性的命題或定理 」 的一種證明方式 ： 證明的過程中 ， 不舉例而只證明語句是否正確 。 非構造性證明很多時候依賴於排中律 。 數學結構主義數學不允許非構造性證明 。