Example image of eyePlorer eyePlorer map for 'Cantor's theorem': Set theory Table of mathematical symbols Cardinality Power set Set (mathematics) Subset Infinite set Countable set Uncountable set Georg Cantor Germany Mathematician Bijection Equinumerosity Image (mathematics) Surjective function Cantor's diagonal argument Natural number Without loss of generality Empty set Element (mathematics) Proof by contradiction Singleton (mathematics) Cantor's first uncountability proof Real number Bertrand Russell Propositional function Ernst Zermelo Beth number Cantor–Bernstein–Schroeder theorem Controversy over Cantor's theory Paul Halmos List of theorems Simple theorems in the algebra of sets From Here to Infinity (book) Cantor's paradox Skolem's paradox König's theorem (set theory) Cardinality of the continuum Diagonal argument Multiset Mathematical logic Metalogic Second-order logic Zermelo set theory New Foundations Infinity Forcing (mathematics) Morse–Kelley set theory Logic