NICEFA Logo
nicefa.
Library
←Module

Cantor's Diagonal Argument

Sizes of infinity.

Visualizing...

Our institutional research engineers are currently mapping the formal proof for Cantor's Diagonal Argument.

Apply for Institutional Early Access →

The Formal Theorem

|P(N)| > |N|

Analytical Intuition.

Cantor's Diagonal proves not all infinities are the same size. Reals are larger than Integers. Even if you list infinite decimals, you can always construct a new one not on the list by changing digits along the diagonal.
CAUTION

Institutional Warning.

The diagonal construction ensures the new number differs from EVERY number on the list at at least one position. Checkmate.

Academic Inquiries.

01

Are there larger infinities?

Yes, the Power Set of any set is always larger than the set itself.

Standardized References.

  • Definitive Institutional SourceInstitutional Reference (nicefa v1)
  • Velleman, D.J. How to Prove It: A Structured Approach.
  • Polya, G. How to Solve It. Princeton University Press.

Related Proofs Cluster.

Foundational

Mathematical Induction

Domino effect proofs.

Foundational

Proof by Contradiction

Logic of absurdity.

Foundational

ZFC Axioms

Source code of math.

Foundational

The Halting Problem

Limits of logic.

Institutional Citation

Reference this proof in your academic research or publications.

NICEFA Visual Mathematics. (2026). Cantor's Diagonal Argument: Visual Proof & Intuition. Retrieved from https://nicefa.org/library/mathematical-logic/cantors-diagonal-argument-theory

Dominate the Logic.

"Abstract theory is just a movement we haven't seen yet."

Subscribe for Full ProofsEarly Access