Forcing (Cohen-Forcing)

Eine Modellkonstruktionstechnik, ursprünglich aus der Mengentheorie, die ein Modell erweitert, indem sie generische Objekte oder Bedingungen beifügt, um bestimmte Aussagen zu verwirklichen oder zu widerlegen; dient häufig dazu, Modelle zu erzeugen, in denen bestimmte Sätze gelten oder nicht gelten.