Philosophical logic
Topos
Categorical logic
Theory
Philosophy of mathematics
Axiom
Category theory
Modal logic
Probability interpretations
Logic
Mathematics
Philosophy