>>587
>宇宙公理
>U:∀α,∃β,∀γ<β,p(γ)<β
U:∀α,∃β>α,∀γ<β,p(γ)<β