Contradiction de ZFC

En mathmatiques, la thorie des ensembles de Zermelo-Fraenkel, abrge en ZF, est une axiomatisation en logique du premier ordre de la thorie des ensembles telle qu'elle avait t dveloppe dans le dernier quart du XIXe sicle par Georg Cantor. L'axiomatisation a t labore au dbut du XXe sicle par plusieurs mathmaticiens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.Dans notre dition de 2019, nous avons dmontr que par des mthodes de thorie ergodique, qui ne supposent que la construction de la mesure de Lebesgue, nous aboutissons une contradiction en utilisant l'axiome du choix C, ce qui entrane la contradiction de la thorie des ensembles de ZF.Cette nouvelle dition rectifie des erreurs techniques.