Quote #495
I think this is an unintuitive thing allowed in the absence of the axiom of choice: an ordering of all countable ordinals such that, cut off at any infinite countable ordinal, it has order type ω.#495 Added by Sumde
DecBot
I think this is an unintuitive thing allowed in the absence of the axiom of choice: an ordering of all countable ordinals such that, cut off at any infinite countable ordinal, it has order type ω.#495 Added by Sumde