Axiom of Choice, equivalent formulations, constructible universe, consistency results, and independence phenomena.
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 throughout mathematics, especially in algebra, topology, and analysis.
Equivalent formulations of choice are then introduced, including Zorn’s lemma and the well ordering theorem, and these forms show how one set theoretic principle can appear in many different mathematical contexts.
The constructible universe is studied as a carefully built inner model of set theory, where sets are introduced in stages according to definability, and this construction gives a controlled setting in which certain additional statements can be proved.
Consistency results are then discussed to explain how one shows that an axiom system does not lead to contradiction, usually by constructing models or relative consistency arguments that compare one theory with another.
Finally, the chapter introduces independence phenomena, where a statement can be neither proved