Set theory
Logic
Ordinal numbers
Curry–Howard correspondence
Mathematics
Constructible universe
Enumeration