411 REFERENCE · Wikibooks
Set Theory/Axioms of set theory
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
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:
{{axiom|