Mathematical Logic
Set Theory
This guide helps you get your bearings in Set Theory before you start exploring the interactive timeline, framework graph, and concept maps.
Before You Dive In
- Set theory is the foundational language of modern mathematics — nearly every mathematical object (numbers, functions, spaces) can be defined in terms of sets.
- The field divides into naive set theory (used throughout mathematics) and axiomatic set theory (studying the foundations themselves, especially ZFC axioms).
- Cantor's discovery that there are different sizes of infinity (countable vs. uncountable) launched the field in the 1870s and remains its most striking result.
- The independence results (Cohen, 1963) showed that fundamental questions like the Continuum Hypothesis can be neither proved nor disproved from standard axioms — this reshaped the philosophy of mathematics.
- Modern set theory studies large cardinal axioms, forcing, and determinacy — these are tools for understanding what is provable and what requires new axioms.
Key Terms to Know
ZFC axiomsZermelo-Fraenkel axioms with the Axiom of Choice; the standard foundation for virtually all of mathematics.
CardinalityThe "size" of a set; Cantor showed the integers and reals have different cardinalities (countable vs. uncountable).
Continuum HypothesisThe conjecture that there is no set whose cardinality is strictly between that of the integers and the reals; independent of ZFC.
ForcingCohen's technique for constructing models of set theory in which specific statements (like the Continuum Hypothesis) are false.
Ordinal numberA generalization of natural numbers that extends counting into the transfinite, used to index well-ordered sets.
Large cardinal axiomAn axiom asserting the existence of very large infinite sets with strong properties; strengthens ZFC and settles otherwise independent questions.
Common Confusions
Thinking set theory is just Venn diagrams and basic operations — research set theory studies the structure of infinity and the limits of mathematical proof.
Confusing "independent of ZFC" with "unknowable" — independence means the question requires new axioms, and set theorists actively propose and study such axioms.
Assuming the Axiom of Choice is controversial among working mathematicians — it's accepted in mainstream mathematics, though its consequences (like non-measurable sets) can be counterintuitive.
Recommended Reading
Set Theory: An Introduction to Independence Proofs— Kenneth Kunen
1980Set Theory— Thomas Jech
2003The Joy of Sets: Fundamentals of Contemporary Set Theory— Keith Devlin
1993How to Use the Interactive View
1
Explore the timeline
Open the interactive view and scan the framework timeline. Which frameworks came first? Which ones overlap? Where are the big transitions?
2
Read the articles
Click into individual frameworks to read what each one claims, where it came from, and how it relates to its neighbors.
3
Check the concept map
See how the key ideas within a framework connect. This is useful for figuring out what to learn first and what depends on what.
4
Test yourself
Take the quiz for any framework you've read about. It's a quick way to find out whether you actually understood the core ideas or just skimmed them.