Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

27/07/2010

Résumé de théorie des ensembles

Résumé de théorie des ensembles

Source : http://www.les-mathematiques.net/a/a/a/node7.php3

En résumé on a les implications de consistance du schéma [*].

 

 

Figure: $ ZF$ désigne la théorie de Zermelo-Fraenkel.$ ZF setminus infini $ désigne la même théorie mais privée de l'axiome de l'infini et muni de sa négation. $ AC$ désigne l'axiome du choix. $ not(AC)$ désigne la négation de $ AC$$ COH$ désigne l'axiome selon lequel les parties de $ {omega}$ ne peuvent pas être bien ordonnes. $ AF$ désigne l'axiome de fondation$ ACC$ désigne l'axiome d'accessibilité$ CH$désigne l'hypothèse du continu, et $ GCH$ l'hypothèse du continu généralisée. Une flèche relie une théorie $ T$ à une théorie $ T'$ si $ T'$ est plus forte que $ T$, c'est-à-dire que tous les théorèmes de $ T$ sont des théorèmes de $ T'$. Notez bien que toutes les théories présentes sur la figure sont consistantes si et seulement si $ ZF$ est consistante. Notez bien aussi que si $ ZF$ est consistante, alors il est impossible de le prouver; mais que par contre si elle ne l'est pas, on dispose d'un algorithme théorique permettant en temps fini de le prouver...
begin{figure}begin{displaymath} epsfxsize =9cm epsfbox{consis.eps}end{displaymath}end{figure}

 


next up previous index
suivant: Index monter: Théorie des ensembles - précédent: L'axiome de fondation Index
C.Antonini_JF.Quint_P.Borgnat_J.Berard_E.Lebeau_E.Souche_A.Chateau_O.Teytaud

16:50 Publié dans Théorie des ensembles | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Les commentaires sont fermés.