[[Set theory MOC]] # Tarski-Grothendieck set theory **Tarski-Grothendieck set theory** or $\mathrm{TG}$ is a [[Material set theory]] and [[conservative extension|non-conservative extension]] of [[ZFC]]. # --- #state/stub | #lang/en | #SemBr