Example image of eyePlorer eyePlorer map for 'Cantor's diagonal argument': Bijection Georg Cantor Infinity Mathematical proof Natural number Set (mathematics) Cardinal number Uncountable set Argument Cantor's first uncountability proof Diagonalization Real number Analogy Diagonal argument Entscheidungsproblem Gödel's incompleteness theorems Russell's paradox Countable set Constructivism (mathematics) Subcountability Classical mathematics 0.999... Cardinality of the continuum Cantor–Bernstein–Schroeder theorem Cantor's theorem Power set Subset Function (mathematics) Surjective function Image (mathematics) Universal set Axiom schema of specification Naive set theory Cardinality Continuum hypothesis Halting problem Complexity class P versus NP problem 2008 Laplace's demon New Foundations Willard Van Orman Quine Type theory Controversy over Cantor's theory List of theorems Simple theorems in the algebra of sets Irrational number Richard's paradox Timeline of mathematical logic Definable real number