Since the natural numbers are [[Well-Ordering Theorem|well-ordered]] it is immediate that any countable set can also be well-ordered. Arbitrary uncountable sets can only be well-ordered through use of the [[axiom of choice]]. | Since the natural numbers are [[Well-Ordering Theorem|well-ordered]] it is immediate that any countable set can also be well-ordered. Arbitrary uncountable sets can only be well-ordered through use of the [[axiom of choice]]. |