Cohen used a technique called "forcing" to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis .
Cohen na ginagamit ng isang pamamaraan na tinatawag na "pagpwersa" upang patunayan ang pagsasarili sa set teorya ng axiom ng pagpipilian at ng generalised continuum teorya.