Category:Theorems in the foundations of mathematics

This category includes theorems on the foundational aspects of mathematics, including:    mathematical logic, model theory, set theory, some general topology and category theory.