Many people believe that Cantor proved the uncountability of the real line using a diagonal argument. This paper does not that provide that proof; Cantor's stated purpose was to prove the existence of `uncountable infinities' without using the theory of irrational numbers.