{x::ℵ0<|x|<p(ℵ0)}はZFCで定義されます（p(α)=|P(α)|）
しかし空かどうかは分からないわけです
CHを仮定することで空であることになり
¬CHを仮定することで空では無いことになります
同様に到達不能基数の全体もVの中に（Lの中に？）
{κ::κ>∀α:p(α)<κ}とZFC(BG)で定義されますが
これが空であるかどうかは分からないわけです
宇宙公理
U:∀α,∃β,∀γ<β,p(γ)<β
を採用することで空でないことになるわけです