素数が無数に存在することの証明(そすうがむすうにそんざいすることのしょうめい)は、古くは紀元前3世紀頃のユークリッドの『原論』に記され、その後も多くの証明が与えられている。素数が無数に存在することは、しばしばユークリッドの定理(ユークリッドのていり、英: Euclid's theorem)と呼ばれる。