- 964 名前：１３２人目の素数さん mailto:sage [2021/11/03(水) 20:31:30.15 ID:bYOpU002.net]
- >>854
>Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
>ωからω未満の任意の順序数ｎへの降下列が存在するようにするには
>無限集合とせざるを得ない
そんなことは、無い
単に、シングルトンを使った添え字集合（下記ご参照）と考えれば良い（IUTではラベル問題という）
{}0={}
{}1={{}}
{}2={{{}}}
・
・
{}n={・・{{}}・・}
・
・
{}ω={・・{・・{{}}・・}・・}
とすれば、良いだけ
(参考)
https://ja.wikipedia.org/wiki/%E6%97%8F_(%E6%95%B0%E5%AD%A6)
族（ぞく、family）は、添字付けされた元（要素）の（一般には非可算無限個の）集まり[1
