Many people believe that Cantor proved the uncountability of the real line using a diagonal argument. [This paper][1] 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.


  [1]: http://resolver.sub.uni-goettingen.de/purl?GDZPPN002113910