ABSTRACT
Mathematics is a particular theory Tset (called set theory) in a particular language Lset (called the language of set theory) with specific axioms called the ZFC axioms (the Zermelo-Fraenkel+Choice axioms). So Tset will be T (ZFC). We will introduce all of this presently.
