1963: Paul Cohen usa su técnica de forcing para mostrar que tanto la hipótesis del continuo como el axioma de elección pueden ser probadas desde los axiomas estándaes de la teoría de conjunto.

1963: Paul Cohen usa su técnica de forcing para mostrar que tanto la hipótesis del continuo como el axioma de elección pueden ser probadas desde los axiomas estándaes de la teoría de conjunto.