Talk: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)