 GST is the fragment of Z obtained by omitting the axioms Union, Power Set, Elementary Sets (essentially Pairing) and Infinity, then taking Adjunction, a theorem of Z, as an axiom.The result is a first order theory.Setting φ("x") in "Separation" to "x"≠"x", and assuming that the domain is nonempty, assures the existence of the empty set.