Forcing (mathematics) - Wikipedia Forcing was first used by Paul Cohen in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory
forcing - Wiktionary, the free dictionary forcing (countable and uncountable, plural forcings) The act by which someone or something is forced (set theory) A technique used to prove the consistency of certain axioms in set theory See forcing (mathematics)