Definition:Tarski-Grothendieck Set Theory
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 universal set.
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.