Forcing

Inom mängdteorin är forcing en metod för att konstruera universa för mängdteorin i syfte att visa att vissa mängdteoretiska påståenden är oavgörbara, dvs varken kan bevisas eller motbevisas utifrån mängdteorins axiom.

Metoden utvecklades av Paul Cohen för att konstruera ett universum där $2^\{\backslash aleph\_0\}=\backslash aleph\_2$ och därigenom visa att kontinuumhypotesen inte kan bevisas i ZFC.