Mathematical analysis
Mathematics
Computability theory
Differential topology
Mathematical logic
Universal representation
Symbol