Cantor's first uncountability proof

Contrary to what most mathematicians believe, Georg Cantor's first proof that the set of all real numbers is uncountable was not his famous diagonal argument, and did not mention decimal expansions or any other numeral system. The theorem and proof below were found by Cantor in December 1873, and published in 1874 in Crelle's Journal, more formally known as Journal für die Reine und Angewandte Mathematik (German for Journal for Pure and Applied Mathematics). Cantor discovered the diagonal argument in 1877.

Related Topics:
Mathematician - Georg Cantor - Real number - Diagonal argument - Numeral system

~ ~ ~ ~ ~ ~ ~ ~ ~ ~