En 1963, Paul Cohen demostró la independencia (que no puede probarse), mediante el método de Forcing.