Chapter 8. Axiomatic Systems
Axiom of Choice, equivalent formulations, constructible universe, consistency results, and independence phenomena.
Tag
Axioms
3 notes
7.5 Zermelo Fraenkel Axioms (ZF, ZFC)
The axioms of Zermelo Fraenkel set theory, the role of choice, and the use of axioms as a foundation for mathematics.
2.4 Independence Phenomena
Statements that cannot be proved or refuted from a chosen axiom system, and what independence means in mathematical practice.