Infinity
Logic
Combinatorial game theory
Real closed field
Surreal number
Vacuous truth
Infinitesimal
Number
FO
Mathematics
Abstract algebra
Mathematical logic