22/01/29 23:31:14.45 2PdAu/y1.net
>>645
有限n重 {・・{{Φ}1}2・・}n
を認めるならば
ω重 {・・{・・{{Φ}1}2・・}n・・}ω
で合うだろ？
これは定義です
>>656
>>ω重 {・・{・・{{Φ}1}2・・}n・・}ω
>・・{・・{{Φ}1}2・・}n・・は集合？
>YESならその元は何？
そういう突っ込みなら、urelement と考えて納得してもらえれば、それで結構だ
URLﾘﾝｸ(en.wikipedia.org)
Urelement
}1}2・・}n・・ は、一つの状態です
1,2,・・,n,・・ と同じです
箱が可算無限個あるとする
□1,□2,・・,□n,・・ となる。添え字1,2,・・,n,・・は、全ての自然数を尽くす