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
concept
technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles