Modèle de Solovay
Cet article est une ébauche concernant la théorie des ensembles.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, dans le domaine de la théorie des ensembles, le modèle de Solovay est un modèle de la théorie des ensembles de Zermelo-Fraenkel (ZF), dans lequel tout ensemble de nombres réels est Lebesgue-mesurable. Il est construit sous l'hypothèse d'existence d'un cardinal inaccessible.
Ce modèle montre que l'existence d'un ensemble non-mesurable est indémontrable dans ZF, alors qu'elle est démontrable dans ZFC (c'est-à-dire en rajoutant l'axiome du choix).