Logic, Foundations and Set Theory

This subcategory follows the 03 block of the Mathematics Subject Classification 2020, which covers formal systems, what can be proved within them, and the nature of mathematical infinity itself. It includes logic and foundations, set theory, model theory, proof theory and computability theory. It does not include order theory, which is grouped under Algebra, or the philosophical discussion of what mathematics is, which belongs to Philosophy.