 Natural numbers.  One also defines versions of the natural numbers by: 0 = ∅, 1 = {∅}, etc.  Again, all facts about numbers and functions on them can be proved in set theory.  In fact, essentially all mathematical facts whatsoever can be stated formally and proved in set theory. 