zfcは、無矛盾であるならば、圏論で必要となる到達不能基数の存在を証明できない。