 In 1874, he showed that the set of all real numbers is uncountably infinite but the set of all algebraic numbers is countably infinite.Contrary to widely held beliefs, his first method was not his famous diagonal argument, which he published in 1891.See Cantor's first uncountability proof.