>>645
有限n重 {・・{{Φ}1}2・・}n
を認めるならば

ω重 {・・{・・{{Φ}1}2・・}n・・}ω
で合うだろ？
これは定義です

>>656
>>ω重 {・・{・・{{Φ}1}2・・}n・・}ω
>・・{・・{{Φ}1}2・・}n・・は集合？
>YESならその元は何？

そういう突っ込みなら、urelement と考えて納得してもらえれば、それで結構だ
https://en.wikipedia.org/wiki/Urelement
Urelement

}1}2・・}n・・ は、一つの状態です
1,2,・・,n,・・ と同じです

箱が可算無限個あるとする
□1,□2,・・,□n,・・ となる。添え字1,2,・・,n,・・は、全ての自然数を尽くす