Paul Cohen invented the method of forcing while searching for a model of ZFC in which the continuum hypothesis fails, or a model of ZF in which the axiom of choice fails.
Paul Cohen inventou o método de forzamento mentres buscaba un modelo de ZFC no que fallaran o axioma da escolla ou a hipótese do continuo.