>>639
>> ω+1なる列に拡張されている
>「ω+1なる列」はω重シングルトンにならないだろ
>ω重シングルトンは同様に書けば「ω+0なる列」

ああ、そうだね
ω重シングルトンの話は別
空集合Φを元とするシングルトン{Φ}を、1重とする

＜なお、カッコには添え字をつける。カッコが有限なら添え字の有無は同じ意味です＞
1重 {Φ}1
2重 {{Φ}1}2
　・
　・
n重 {・・{{Φ}1}2・・}n
　・
　・
ω重 {・・{・・{{Φ}1}2・・}n・・}ω
となる

つまり、1重,2重,・・,n重,・・とすべての自然数を尽くしたのち、ω重になる

カッコの添え字もそれに対応する
つまり、例えば 右カッコで }1}2・・}n・・とすべての自然数を尽くしたのち、ω重の}ωに至る
（左カッコも同様）