>>794
>　1,　 2，・・,　 n,・・,　 ∞
>　　↓↑
>　π1,π2,・・,πn,・・,π∞=π

まあ、そこは

　1,　 2，・・,　 n,・・,　 ω
　　↓↑
　π1,π2,・・,πn,・・,πω=π

と読み替えて貰えば良い
普通、例えば、>>795 のように、”lim n→∞ xn =ω”と書くとき
∞は添え字集合としてのωをも意味するけれども、歴史的慣習として∞を使っているだけのこと
意味同じ

そして、>>795に書いたけれど、Zermeloのシングルトンによる自然数の構成だと、歴史的に批判されたらしいが、順序数の構成は良いけど、基数はどうするの？　と
で、Zermeloが批判どう応えたかしらないが
１．順序数として、0th＝Φ（空集合）、1st={Φ}、2nd={{Φ}}、3rd={{{Φ}}}、・・・、nｔｈ={・・{Φ}・・}、・・→ω
２．基数としては、0＝Φ（空集合）、1={Φ}、2={0,1}、3={0,1,2}、・・・、n={0,1,2,・・n-1}、・・→∞ とすれば、よかんべ

これで、上記２の基数の方に、無限公理を適用すれば、無限集合としての自然数の集合Nが出来るよ
そこから、あらためて ∞や、ωを定義すれば良い

なお、”・・→∞”とか”・・→ω”とかは、ご説明として書いただけで、
数学的には蛇足（循環論法になる）で取った方がいいけど、５ｃｈの議論として分り易くしたんだ

これが分からない？
IUT無理

つづく