- 85 名前：１３２人目の素数さん [2025/02/03(月) 11:45:28.25 ID:RHKFtm92.net]
- >>79
Xが無限のとき、整列に対応する順序数は一意ではない
たとえばXが可算なら、整列に対応する順序数として、任意の可算順序数がとれる
そしてどういう可算順序数になるかは、選択関数fで決まる
>例えば、順序数ω から 一つ減らしても ωのままです
順序数の差なんて、リンク先に書かれてないが・・・幻視？
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0#%E9%A0%86%E5%BA%8F%E6%95%B0%E3%81%AE%E6%BC%94%E7%AE%97
