Tarski–Grothendieck set theory
= Tarski–Grothendieck set theory
{wiki=Tarski–Grothendieck_set_theory}
Tarski–Grothendieck set theory, also known as Tarski–Grothendieck logic, is a foundational system for mathematics that extends classical set theory to better accommodate certain advanced concepts in category theory and algebraic geometry.