Forcing
Forcing is a technique invented by Paul Cohen in 1963 to prove the independence of the Axiom of Choice and the Continuum Hypothesis from the axioms of ZF set theory. It works by constructing an expanded model of set theory — a generic
Forcing is a technique invented by Paul Cohen in 1963 to prove the independence of the Axiom of Choice and the Continuum Hypothesis from the axioms of ZF set theory. It works by constructing an expanded model of set theory — a generic