Definition:Tarski-Grothendieck Set Theory

From ProofWiki
Jump to navigation Jump to search


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

Also see

  • Results about Tarski-Grothendieck set theory can be found here.

Source of Name

This entry was named for Alfred Tarski and Alexander Grothendieck.