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