>>989
>数列を、順序組と考えると、下記のように順序対の入れ子としての定義が考えられる
順序対の入れ子として定義できるのは、有限順序組だけだよ

>そして無限列なら、無限順序組であり、下記の応用で、カッコ{}の多重無限は当然になるよ
悪いけど、無限列は最後の要素がないから、上記の手続きが終了せず、順序対の入れ子にはできない
無限列の場合、別の方法(例えば、位置を表す自然数と要素の組の集合)を用いるしかない

考えればわかることなんだけど、もしかして1ってまったく考えずに漫然と書き流してる?
それじゃ悪いけど数学は死ぬまでわからないだろうね