存在定理

证明物体存在的定理，如问题或方程的解。严格地说，它不需要告诉有多少这样的物体，也不需要给出如何找到它们的提示。一些存在性定理给出了解决方案（例如。，克莱默法则)，其他人描述在他们的证明中，为了接近他们（例如。，Bolzano-Weierstrass公司定理)而另一些则是通过非构造性证明来解决的，这些证明只是简单的演绎解决方案的必要性而不指示用于确定它们的任何方法（例如。，这个Brouwer不动点定理，其中被荒谬的还原证明，表明不存在会导致矛盾）。