## Formal Proof of the Infinitude of Primes

In the Infinitude of Primes post, we have shown intuitively that there are infinitely many primes. In this post, we use our intuitive proof to create a more formal proof. The proof was supposedly constructed by Euclid and was shown in his book, The Elements.

We are going to use the proof strategy called proof by contradiction. Our proof is summarized as follows: » Read more