Definition:Tarski-Grothendieck Set Theory

From ProofWiki
Jump to navigation Jump to search

Definition

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.