>>990
>Nの順序が順序数のそれと一致する必要は微塵も無い。

わかってないね

∈をつかって順序を定義したとしても
正則性公理は必要ない、といってるんだよ