Set Theory/Axioms of set theory

There are several different systems of axioms for mathematical set theory. The author feels that the most sensible way of doing so is using an axiomatic system developed by von Neumann, Bernays and Gödel, called NBG set theory, and subtract from it the axiom of global choice. The axioms of the set theory thus done are the following: