20/11/01 20:22:59.89 Fdz+cM+e.net
>>701
>ここ、数学的に厳密な証明がない
証明ではなく定義
（Zermelo構成）
aが順序数のとき、{a}をaの後続順序数とする
これだけでは、極限順序数ωを構成する方法は示されない
ωから、ωより小さい任意の順序数ｎへの∈降下列が存在する、としたとき
そのような条件を満たすωは、ωより小さい順序数の無限集合となる
20/11/01 20:22:59.89 Fdz+cM+e.net
>>701
>ここ、数学的に厳密な証明がない
証明ではなく定義
（Zermelo構成）
aが順序数のとき、{a}をaの後続順序数とする
これだけでは、極限順序数ωを構成する方法は示されない
ωから、ωより小さい任意の順序数ｎへの∈降下列が存在する、としたとき
そのような条件を満たすωは、ωより小さい順序数の無限集合となる