Contradiction de ZFI

Nous montrons la contradiction de la théorie dite ZFI qui est la théorie des ensembles usuels ZF à laquelle on ajoute l'axiome d'existence d'un cardinal inaccessible. Robert Solovay a démontré que si cette théorie était consistante, il existait un modèle de la théorie des ensembles dans lequel toutes les fonctions étaient mesurables et d'autres axiomes bien utiles. En utilisant ces axiomes en théorie ergodique, nous aboutissons à une contradiction. Notre précédente édition contenait une erreur technique page 31 qui est ici corrigée. Nous montrons aussi la contradiction de l’axiome du choix « usuel » de l’analyse fonctionnelle et nous en déduisons que nous avons une théorie sans modèle.