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