一方、英wikipediaでは、”If the axiom of countable choice holds, every increasing ω-sequence of elements of [0,ω1) converges to a limit in [0,ω1). The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.”と記されている この二つは、矛盾しない
上記の「ω1 は[0,ω1) の極限点であるが」は、ω1は「[0,ω1) の外」という一見当たり前のことに ”The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.” という理由付け（＝略証）を与えていて、本来、この理由付け（＝略証）の方に、重点があるよね
