>>207
>「無限重シングルトン」は、
>ノイマン基数割当を経由しないと、
>定義出来ないとは思っているよ

２行目が誤り

正しくは
「無限重シングルトン」は、
集合概念を拡張しないと
定義出来ない

>>195
>超集合(hyperset)は集合の一般化で、超要素(hyperelement)を持つ
>集合に関しては、要素はもちろん超要素だが
>要素の要素、要素の要素の要素、・・・を全て超要素とする
>ωの場合、要素は持たないが、有限シングルトン全てを超要素とする

集合でない超集合ωは、要素を持たないが超要素を持つ

必要なのは超集合の理論でしたｗ