Category:Theorems in the foundations of mathematics

From English Wikipedia @ Freddythechick

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