Forcing is a technique used in set theory, particularly in the context of determining the consistency of various mathematical statements in relation to the axioms of set theory, such as Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). It was developed by Paul Cohen in the 1960s and is a powerful method for constructing models of set theory and for demonstrating the independence of certain propositions from ZFC.
New to topics? Read the docs here!