>>318
>上記の「ω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.”
>という理由付け（＝略証）を与えていて、本来、この理由付け（＝略証）の方に、重点があるよね

なんか全然トンチンカンなこといってるね、この🐎🦌ｗ

「ω1 は[0,ω1) の極限点」と
「ω1 は[0,ω1) の無限点列の極限点」は違うよ
（※[0,ω1) の無限点列とは、Ｎから[0,ω1)への写像）

違い、わかる？

>ε-δ頭が邪魔をして、距離空間でない一般の極限が、なんにも分かってない気がするよｗ

君こそ、一般の極限、なんにも分かってないよ　
ま、εδも分からんのじゃ無理もないがね

分かってる「気がする」なら・・・毎度恒例のお🐒の自惚れ妄想ｗ