存在性定理

一种陈述对象存在的定理，例如问题或方程的解。严格来说，它不需要说明存在多少个这样的对象，也不提供如何找到它们的提示。一些存在性定理给出了解的显式公式（例如，克拉默法则），另一些定理在其证明中描述了逼近解的迭代过程（例如，博尔扎诺-魏尔斯特拉斯定理），而另一些则通过非构造性证明来确定，这些证明只是推导出解的必要性，而没有指出任何确定解的方法（例如，布劳威尔不动点定理，它是通过归谬法证明的，表明不存在会导致矛盾）。