存在性證明

存在性證明是數學證明中的一種， 亦即證明考察對象是存在的，通常使用反證法或者是極大原理，佐恩引理等等。

定義

數學證明中的一種， 亦即證明考察對象是存在的。

描述

這種證明通常這只能間接指出對象的存在性，卻不能具體構造出所需對象。
證明方法通常使用反證法或者是極大原理，佐恩引理等等。
比如Euclid證明“素數個數無限”；
又如交換代數中證明“交換環必存在極大理想”；

希爾伯特（Hilbert）曾經在給學生講到存在性證明時，舉過一個例子：“
這個班裡一定存在一個學生，他的頭髮數最少， 可是我們不可能知道他是誰”。