forcing

concept technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles