Continuum hypothesis
Forcing
Infinity
Zermelo–Fraenkel set theory
Solomon Feferman
Peano axioms
Large cardinal
Axiom
Conjecture
Mathematical logic
Mathematics
Logic