Es decir, estos dos axiomas HC y AC no pueden ser ni probados ni refutados a partir de los axiomas ZF.