Constructible universe
Mathematical logic
Mathematics
Set theory
Operator theory
Partial differential equations
Proof theory
Ordinal numbers
Moschovakis coding lemma
Symbol