Contrary to what most mathematicians[[mathematician]]s believe, [[Georg Cantor]]'s first proof that the set of all [[real number]]s is uncountable was not his famous [[Cantor's diagonal argument|diagonal argument]], and did not mention decimal expansions or any other [[numeral system]].