ABSTRACT
We will start here our discussion of sets and prove our first theorems in set theory. Recall that we introduced mathematics/set theory as being a specific theory T (ZFC) in the language Lset, which we called Tset, where ZFC is a list of axioms that was described in the last chapter.
