Philosophy of mathematics
Abstraction
Axiology
Model theory
Mathematical logic
Type theory
Conceptual model
Formal language
Modal logic
Logic
Mathematics
Science