>>590
>U:∀α,∃β>α,∀γ<β,p(γ)<β
この定義だと正則性を満たせてないですね。到達不能基数は正則基数です。