Will ordinals be well-ordered without AC? This seems to be obviously true, as they are by definition well-ordered.
Why would we then need the axiom of choice. We can just form a bijection function to ordinals, allowing all sets to be well-ordered.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Ordinals are defined without the axiom of choice. Ordinals are simply sets such that $\in$ induces a transitive and well-ordered relation on them. Therefore the ordinals are always well-ordered.
The problem is that without the axiom of choice you cannot always put things in bijection with ordinals. For example you cannot define a bijection between the real numbers and an ordinal without the axiom of choice.
Assuming the axiom of choice if two models of set theory have the same sets of ordinals then they are isomorphic. So in some sense the ordinals really do form the backbone of the universe if choice is assumed. However without the axiom of choice this is not true any more. You can find two models which have the same ordinals and same sets of ordinals, but not the same sets of sets of ordinals... this can be extended indefinitely too (sets of sets of sets ... of ordinals).
Remember that not all sets are ordinals, or sets of ordinals. At least without the axiom of choice.