Forçage (Cohen Forcing)

Une technique de construction de modèles, issue de la théorie des ensembles, qui étend un modèle en adjoignant des objets génériques ou des conditions pour réaliser ou réfuter des énoncés particuliers ; utilisée pour produire des modèles où certaines phrases sont vraies ou fausses.