Mathematics
Set Theory
Quick fact
Set theory reveals that the set of all real numbers is much larger than the set of all natural numbers—even though both are infinite. This was a groundbreaking discovery by Georg Cantor in the late 19th century.
Why this is interesting
You've probably grouped objects into collections before—like your favorite books or a bag of groceries. But what happens when you try to compare the size of two infinite collections, like all even numbers and all whole numbers? Are they the same size? Set theory provides the surprising answer.
Read the full explanation
Understanding Set Theory
At its core, set theory is about collections of distinct objects, called elements. A set can be described by listing its elements (e.g., {1, 2, 3}) or by a property (e.g., {x | x is a positive integer less than 4}). Key operations allow us to combine sets: the union (∪) takes everything from both sets, the intersection (∩) takes only the common elements, and the complement (') takes everything not in a given set (relative to a universal set). A subset is a set whose elements all belong to another set; the empty set (∅) contains nothing and is a subset of every set. These simple ideas form the language for much of mathematics.
A deeper explanation
Set theory matters because it provides a foundation for all mathematical objects: numbers, functions, geometry, and even geometry can be built from sets. The power of set theory becomes clear when dealing with infinity. Cantor showed that two infinite sets can have different sizes (cardinalities). For example, the set of natural numbers is countably infinite, but the set of real numbers is uncountably infinite—there are more real numbers than natural numbers. This discovery led to deep questions about the nature of infinity and consistency in mathematics, famously highlighted by Russell's paradox (the set of all sets that do not contain themselves leads to a contradiction). To avoid such paradoxes, modern set theory uses axiomatic systems like Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC), which underpins most contemporary mathematics.