Departure question
Test the floor beneath mathematicsPort 1 of 8Where two intuitions collide
The simple act of collecting objects became mathematics' common language, but a set of everything quickly summoned contradiction.
This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.
Describe objects as collections of elements and reason precisely about membership, unions, and functions. Cantor's work on sets and infinity revealed different infinite cardinalities and provoked major debate. After the paradoxes, systems such as ZF and ZFC became a common formal foundation for much of modern mathematics, alongside alternatives such as type-theoretic and categorical foundations. Cantor's illness should not be reduced to persecution by opponents.
Operation | Definition | For A={1,2,3} and B={2,3,4} |
|---|---|---|
A ∪ B | Belongs to A or B | {1, 2, 3, 4} |
A ∩ B | Belongs to both A and B | {2, 3} |
A \ B | Belongs to A but not B | {1} |
A × B | All ordered pairs | {(1,2),(1,3),(1,4),(2,2),...} (9 total) |
𝒫(A) | All subsets of A | {∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, A} (2³=8 total) |
ZF/ZFC formalizes these operations while avoiding unrestricted set formation. Consistency is not something the system simply guarantees from within, and set theory is not the only foundational viewpoint.
A language for collections, membership, and size. Cantor’s work and later paradoxes led to axiomatic systems, with ZF and ZFC now widely used foundations.
Ports in time
Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.
Cantor proved that the infinity of the real numbers is larger than that of the natural numbers, revealing a hierarchy among infinite sets.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearThe “set of all sets that do not contain themselves” exposed a contradiction in naive set theory and triggered a foundational crisis.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearTo avoid paradoxes such as Russell’s, Ernst Zermelo proposed an explicit system of axioms — the starting point for Zermelo–Fraenkel set theory.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearGödel supplied the CH direction in 1940; Cohen invented forcing and supplied the ¬CH direction in 1963, completing the independence result.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearThe starting point for mathematical definitions, database theory, formal languages, and programming-language type systems — set theory appears wherever collections are abstracted.
Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.
No concept belongs to one person
These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.
Number lenses
These numbers are editorial lenses for the voyage, not required prerequisites.
Whether a set can be paired one-to-one with the naturals marks the first boundary among infinities.
Open the number voyage
The real numbers stage the diagonal argument showing an infinity larger than the naturals.
Open the number voyage
Aleph numbers provide a language for comparing different cardinalities of infinite sets.
Open the number voyage
Concept genealogy
Concepts arriving from before
No direct prerequisite port is curated yet.
Current port
Set Theory
Only direct editorial links are shown; this is not a complete learning order or historical influence line.
