 Axiomatic set theory
 Axiomatic system
 Category theory
 Definitions of mathematics
 Formal language
 Formal system
 Foundations of mathematics
 Golden ratio

 History of mathematics
 Intuitionistic logic
 Logic
 Mathematical beauty
 Mathematical constructivism
 Mathematical logic
 Mathematical proof
 Metamathematics

 Model theory
 Naive set theory
 Nonstandard analysis
 Philosophy of language
 Philosophy of science
 Philosophy of probability
 Proof theory
 Rule of inference

 Science studies
 Scientific method
 Set theory
 The Unreasonable Effectiveness of Mathematics in the Natural Sciences
 Truth
 Ultimate ensemble
