Ordinal numbers
Proof theory
Logic
Diophantine approximation
Constructible universe
Mathematical logic
Mathematics