Set Theory

The foundation of modern mathematics: collections as objects, infinite cardinalities, and the arithmetic of the infinite.

Core Principles & Analysis

• Cantor proved in 1874 that the reals outnumber the naturals — infinities come in sizes.
• His diagonal argument shows no list can contain all infinite binary sequences.
• ZFC set theory is the tacit foundation of nearly every modern proof.