非構造型證明

非構造性證明是「表述存在性的命題或定理」的一種證明方式：證明的過程中，不舉例而只證明語句是否正確。

相關

比如要證明一個簡單的命題：
超越數是存在。
可以如下證明：
因為全體實數是不可數，而全體代數數是可數，所以超越數作為全體代數數的補集肯定是非空。由此得證。
證明過程並沒有找出任何一個超越數，但是依然證明了上述命題的正確性。
非構造性證明很多時候依賴於排中律，數學結構主義數學是不允許非構造性證明的。