>>315
先日から一人で何語ってんのか分からんけど、
従来通りの順序数の定義を考えた時、正則性公理を仮定せず、つまり、ZF＼{正則性公理}において、順序数αとα+1の間に真に順序数が入ることはないって証明したいんか？