6. Les grands résultats d'indépendance
Le fait que l'hypothèse du continu ne puisse pas être décidée à partir des axiomes de ZF est certainement l'un des résultats mathématiques les plus profonds du xxe siècle. Le but de ce chapitre est de montrer comment les techniques de construction de modèles décrites plus haut permettent d'établir l'indépendance de l'hypothèse du continu et de l'axiome du choix. D'autres résultats d'indépendance plus techniques sont ensuite évoqués.
• La non-contradiction de l'axiome du choix et de l'hypothèse du continu
Le résultat suivant est dû à Gödel.
Théorème. Si M est un modèle de ZF, alors le modèle intérieur LM formé des ensembles constructibles de M satisfait l'axiome du choix et l'hypothèse du continu généralisée.
Le théorème ci-dessus constitue une preuve de la non-contradiction de ZFC à partir de celle de ZF et aussi de la non-contradiction de la théorie obtenue en ajoutant à ZFC l'hypothèse du continu, toujours à partir de la non-contradiction de ZF.
[…]… pour nos abonnés, l'article se prolonge sur 17 pages…



