- 527 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 08:09:32.66 .net]
- >>481
>aω
>=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
>=ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω
>（Φの外にω重カッコ）
「確定する必要ない」＝「一意である必要ない」
「明確な二項の比較で済まなくなる」＝「無数な項との比較が必要になる」
を鑑みると
「・・n{n-1{・・1{0{}01}1・・}n-1}n・・」は単一の元ではなく
「0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…」という無数の元
だということになりますね
つまり
ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
=ω{0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…}ω
ということで、無限集合ですね
>「無限重シングルトン」は、
>ノイマン基数割当を経由しないと、
>定義出来ないとは思っているよ
「無限重シングルトン」は
シングルトンであることを否定しないと
定義できないと悟ったってことですね
やっとわかりましたか、おめでとう！！！
|
 |
