Existen numerosas demostraciones sobre que existen infinitos números primos, la primera de la que se tiene constancia es de Euclides, donde queda demostrado mediante Reductio ad absurdum en la Proposición 20 del libro IX de "Elementos (Hay más números primos que cualquier cantidad propuesta de números primos)."