Fundamental theorem of set theory, proved by Cantor in 1891. It is usually split into two parts. Cantor's theorem says that the set of real numbers is non-denumerable. Cantor's power set theorem shows that the power set of any set is always greater than the set itself. Cantor proved both results by a diagonal argument. See also continuum, number, set theory.