Page "Axiom of choice" Paragraph 49
from
Wikipedia
** Well-ordering theorem: Every set can be well-ordered.
Consequently, every cardinal has an initial ordinal.
Page 1 of 1.
2.020 seconds.