# Set Theory/Axioms of set theory

Jump to navigation
Jump to search

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|