Paul Cohen y Kurt Gödel probaron que la hipótesis del continuo es lógicamente independiente de (no puede ser probada o negada de) los axiomas de la teoría de conjuntos.