Cantor's Diagonal Argument
Version 1.0.0 · Updated 2026-07-31
CORE DEFINITION
Cantor's method for proving that the set of real numbers is uncountable. By constructing a new real number along the diagonal, it shows that any attempt to list the real numbers in one-to-one correspondence with the natural numbers will miss some real numbers, thereby proving that the cardinality of the real numbers is strictly greater than that of the natural numbers.
SCAFFOLDING EFFECT
Reduce cognitive load
Understanding infinite sets. It reveals the existence of different levels of infinity, laying the foundation for understanding the concept of cardinality in set theory, and has had a profound impact on many branches of modern mathematics.
Anchor fast decisions
Cantor's diagonal argument proves that the real numbers are uncountable by constructing a real number that is not in any countable enumeration, thus showing that infinities come in different sizes (different cardinalities). It is a cornerstone of modern set theory.
MINIMUM ACTION
In progress 0/4Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Cantor's_diagonal_argumentverified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS