Set theory
Axiomatische Mengenlehre.