Ordinal number
Forcing
Diophantine approximation
Rényi entropy
Curry–Howard correspondence
Mathematical logic
Mathematics
Constructible universe