Category:Theorems in the foundations of mathematics

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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