topic entry on foundations of mathematics
This is an entry-in-progress for a new topic entry on the foundations of mathematics.
- 1.
Syntax and semantics
- 2.
Set theory
and Classes
- 3.
Concepts in set theory
- 4.
Index of set theory
- 5.
Logic and Axiomatic theories
- 6.
Category theory
- 7.
Model theory
- 8.
Proof theory: from axioms to results
- 9.
Symbolic computation
- 10.
Theory of computation