>>97
> ツェルメロの自然数上の∈はそもそも順序関係でない。
　然り
> ツェルメロの自然数は整列集合であり順序数ωと順序同型だが順序数ではない。
　君が示した定義ではそうだな　で、それは∈による整列順序になっている、と
　私は整列順序であれば順序数だと考えていたが、それは
　「いかなる整列順序もそれと順序同型な順序数が存在する」
　という結論を先取りしてしまっているんだろう