Quote #493
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 ω.#493 Added by sumde2
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 ω.#493 Added by sumde2