Argument

Cantor's diagonal argument

Overview

proof technique in set theory

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Georg Cantor
• Infinite set
• Law of excluded middle
• Function (mathematics)
• Model theory
• Real number
• Constructivism (philosophy of mathematics)
• Natural number
• Reductio ad absurdum
• Partially ordered set
• Power set
• Set (mathematics)
• Subset
• Total order
• Willard Van Orman Quine
• Cantor's theorem
• Bijection
• Type theory
• Dedekind cut
• Russell's paradox
• Gödel's incompleteness theorems
• Countable set
• Cardinal number
• Cardinality

Place in the tradition

Part of Metalogic.

Explore Cantor's diagonal argument in the interactive graph →