Definition:Tarski-Grothendieck Set Theory

Definition
Tarski-Grothendieck set theory is an implementation of axiomatic set theory which allows for the existence of a universe.