Set theory MOC

Tarski-Grothendieck set theory

Tarski-Grothendieck set theory or is a Material set theory and non-conservative extension of .

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