The Axiom of Choice applies to arbitrary collections, including those lacking definable well-orderin...
This proposition has not been edited since the history system was added.