Proof theory
Continuum hypothesis
Forcing
Hypotheses
Kurt Gödel
Conjecture
Set theory
Decidability
Truth
Mathematical logic
Logic
Mathematics