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.

Recherchez sur le site (cours, livres, Agregation, etc.)

Liens mathématiques divers

Février 2025

D L M M J V S
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28
Syndicate this site (rss)
Syndicate this site (XML)

Catégories

« Cas le plus général d'espace topologique | Page d'accueil | L'axiome de fondation »

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.