素数が無数に存在することの証明

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