素数无穷的证明。欧几里德《几何原本》中关于素数无穷的证明，这是个典型的存在性证明，证明过程中，没有得到任何一个满足命题的数，在这里存在性证明没得出什么重要成果。