Talk:Zermelo's Well-Ordering Theorem

Would it be better to name this page "Axiom of Choice implies Well-Ordering Theorem"? The setup of assuming Choice is fine for advanced theorems but for foundational pages I think we should be clear about the role of Choice, especially when we have pages like Well-Ordering Theorem is Equivalent to Axiom of Choice. Caliburn (talk) 15:53, 18 March 2022 (UTC)


 * Sounds sensible to me. Feel free to take this on. --prime mover (talk) 16:03, 18 March 2022 (UTC)


 * Actually no. Instead, I have reworded the Well-Ordering Theorem so as to include that assumption in its rubric. --prime mover (talk) 05:31, 24 May 2022 (UTC)