Forzamiento (Cohen Forcing)

Una técnica de construcción de modelos, originada en la teoría de conjuntos, que extiende un modelo añadiendo objetos genéricos o condiciones para realizar o refutar enunciados concretos; se usa para producir modelos donde ciertas oraciones son verdaderas o falsas.