Tarski-Grothendieck Set Theory

Home > Philosophy > Logic > Set Theory > Tarski-Grothendieck Set Theory

Tarski-Grothendieck Set Theory is a foundational theory that aims to provide a rigorous and axiomatic framework for set theory, addressing questions related to the existence and structure of sets while extending Zermelo-Fraenkel Set Theory with stronger axioms.