Abstraction
Formal sciences
Philosophy of mathematics
Reasoning
Systems
Reason
Complexity
Formal methods
Logic
Science
Knowledge
Ethology