>>294
>ZFCでは強到達不能基数の存在は証明でき無いけれど
ZFC-Infinityがω0(=ℵ0)の存在を証明でき無いのも同じ