正則性公理のどこに順序の定義が要るのかスレ主は誤魔化さずに答えなさい
答えないなら数学板から出て行きなさい