Axiomatique de Zermelo-Fraenkel
- Axiomatique de Zermelo-Fraenkel
-
ZFC
En mathématiques, l'abréviation ZF désigne la théorie de Zermelo-Fraenkel, ZFC quand elle comprend l'axiome du choix, théorie des ensembles la plus couramment utilisée en mathématiques contemporaines. Bien que la théorie ne porte pas le nom de Thoralf Skolem, celui-ci a également contribué à sa mise au point, indépendamment d'Abraham Fraenkel ; il l'a, en particulier, formalisé en s'appuyant sur le langage du calcul des prédicats avec égalité.
Théorie Z
L'axiome de l'ensemble vide, parfois introduit séparément, se déduit du schéma d'axiomes de compréhension.
Théorie ZF
Elle comporte en plus :
Le schéma d'axiomes de compréhension se déduit du schéma d'axiomes de remplacement.
L'axiome de fondation fait ou non partie de la théorie standard selon les auteurs.
Théorie ZFC
Elle comporte en plus :
Autres axiomes
Ils ne font pas partie du système ZFC standard mais servent aux théoriciens des ensembles dans le cadre de recherches. On peut citer notamment :
Voir aussi
Portail des mathématiques
Catégorie : Théorie des ensembles
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Axiomatique de Zermelo-Fraenkel de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
ZERMELO (E.) — ZERMELO ERNST (1871 1953) Mathématicien et logicien allemand, né à Berlin et mort à Fribourg en Brisgau, fondateur de la théorie axiomatique des ensembles. En 1904, Ernst Zermelo explicite l’axiome du choix et en déduit que tout ensemble peut… … Encyclopédie Universelle
ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… … Encyclopédie Universelle
Theorie axiomatique des ensembles — Théorie des ensembles La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d… … Wikipédia en Français
Théorie axiomatique des ensembles — Théorie des ensembles La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d… … Wikipédia en Français
Abraham Adolf Fraenkel — Pour les articles homonymes, voir Fraenkel. Abraham A. Fraenkel Frænkel dans les années 1940 Naissance … Wikipédia en Français
Abraham Fraenkel — Abraham Adolf Fraenkel Pour les articles homonymes, voir Fraenkel. Abraham Adolf Halevi Fraenkel (17 février 1891 à Munich, Allemagne 15 octobre 1965 à Jérusalem, Israël), plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement… … Wikipédia en Français
Adolf Abraham Halevi Fraenkel — Abraham Adolf Fraenkel Pour les articles homonymes, voir Fraenkel. Abraham Adolf Halevi Fraenkel (17 février 1891 à Munich, Allemagne 15 octobre 1965 à Jérusalem, Israël), plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement… … Wikipédia en Français
Adolf Fraenkel — Abraham Adolf Fraenkel Pour les articles homonymes, voir Fraenkel. Abraham Adolf Halevi Fraenkel (17 février 1891 à Munich, Allemagne 15 octobre 1965 à Jérusalem, Israël), plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement… … Wikipédia en Français
Theorie axiomatique — Théorie axiomatique Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par… … Wikipédia en Français
Théorie axiomatique — Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par théorie axiomatique, on… … Wikipédia en Français
