▽The n-Category Caf〓 ●11/16 03:58 November 15, 2024Axiomatic Set Theory 9: The Axiom of ChoicePosted by Tom LeinsterPreviously: Part 8.It’s the penultimate week of the course, and up until now we’veabstained from using the axiom of choice. But this week we gorgedon it.We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, thewell ordering principle, cardinal comparability (given two sets,