Set theory MOC

Tarski-Grothendieck set theory

Tarski-Grothendieck set theory or $T G$ is a Material set theory and non-conservative extension of $Z F C$ .

#state/stub | #lang/en | #SemBr