Sin embargo, el trabajo de Gödel y Paul Cohen demuestra que la hipótesis es independiente de dichos axiomas: no puede ser refutada o demostrada a partir de ellos.