存在性定理

一種陳述物件存在的定理，例如問題或方程的解。嚴格來說，它不需要說明存在多少個這樣的物件，也不提供如何找到它們的提示。一些存在性定理給出瞭解的顯式公式（例如，克拉默法則），另一些定理在其證明中描述了逼近解的迭代過程（例如，博爾扎諾-魏爾斯特拉斯定理），而另一些則透過非構造性證明來確定，這些證明只是推匯出解的必要性，而沒有指出任何確定解的方法（例如，布勞威爾不動點定理，它是透過歸謬法證明的，表明不存在會導致矛盾）。