Le site est en ligne, vous pouvez désormais revenir à vos activités habituelles. On vous remercie pour votre patience et votre soutien !
(Il est encore possible que le site rencontre quelques problèmes de performance)

Fiche technique

Auteur :

Jean-Louis Kirvine
Date de publication (pays d'origine) : Langue d'origine : FrançaisParution France : août 2007

Éditeur :

Cassini Eds
ISBN : 9782842250966, 9782842250140

Résumé : Axiomatique de la théorie des ensembles de Zermelo-Fraenkel. Consistance relative des axiomes, démonstration du théorème d'incomplétude de Gödel, indépendance de l'hypothèse du continu via la méthode du forcing de Cohen.