存在性证明是一种
数学证明方法，其目的是证明某个特定的对象或实体确实存在于所研究的系统或集合中。这类证明通常是通过反证法或其他类似的方法来实现的。
存在性证明通常采用反证法或者极大原理等方法来进行。这些方法能够间接地表明对象的存在性，但却无法直接构造出所需的对象。例如，在欧几里得几何中，可以通过反证法来证明素数的数量是无限的；而在
交换代数中，则可以利用极大原理来证明
交换环必然存在极大理想。此外，
戴维·希尔伯特也曾用一个有趣的例子来说明存在性证明的概念，他提到班级中必定有一个学生的头发数量最少，尽管我们可能不知道这个人是谁，但这并不影响我们对这一事实的确信。