素数が無数に存在することの証明
素数が無数に存在することの証明</b>は、古くは紀元前3世紀頃のユークリッドの『原論』に記され、その後も多くの証明が与えられている。素数が無数に存在することは、しばしば<b data-parsoid='{"dsr":[123,138,3,3]}'>ユークリッドの定理（）と呼ばれる。
『原論』第9巻命題20[1]で、素数が無数に存在することが示されている。その証明は、次の通りである[2]。