Set theory MOC Tarski-Grothendieck set theory Tarski-Grothendieck set theory or is a Material set theory and non-conservative extension of ZFC. stub | en | sembr