>>252
>ペアノの公理の何かの後者関数を使って、自然数nが作られて、
>0,1,2・・という列をコンパクト化するのに
>0,1,2・・,ωとするってこと。
ωという一点を加えるとしか言ってないよ

>n→∞の極限点（極限順序数）を加えるってこと。
極限点としか言ってないよ

>それは射影の無限遠点に相当するものだ
それ、ただの比喩だよ

>よって、ツェルメロの「後者関数として、aの後者{a}」の極限 n→∞として、
>{{{...}}}ωが存在することに、意味があるんだよ
極限が{{{...}}}ωとなることの説明がないよ
ないのは当然だけどね
だってそうでなければならない理由がないし
実際に数学では違う形で極限を定義してる
∪ｎがそう　
結果としてできるωは以下の通り
{{},{{}},{{{}}},…}

だからさぁ、なんでナイーブにシングルトンだと妄想してんの？
馬鹿じゃん（江戸）、阿呆じゃん（京、大阪）、戯けじゃん（名古屋）