ZFCでは到達不能基数を取り扱えない。
以上。