>>701
>ここ、数学的に厳密な証明がない

証明ではなく定義

（Zermelo構成）

aが順序数のとき、{a}をaの後続順序数とする

これだけでは、極限順序数ωを構成する方法は示されない

ωから、ωより小さい任意の順序数ｎへの∈降下列が存在する、としたとき

そのような条件を満たすωは、ωより小さい順序数の無限集合となる