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é.

Sommaire

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 Portail des mathématiques
Ce document provient de « ZFC ».

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