8. Axiomatic Systems
Axiomatic set theory studies the principles that govern the universe of sets, and it asks which mathematical statements follow from the chosen axioms, which statements require additional assumptions, and which statements cannot be decided from the usual axioms alone. The chapter begins with the Axiom of Choice, which asserts that one may choose an element from each set in a family of nonempty sets, and this principle has many consequences...