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

Propriétés

Mots liés