ZFC

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ée 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 (en logique du premier ordre).

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



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article ZFC de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… …   Википедия

  • ZFC — Die Abkürzung ZFC steht für: Zaandamse Football Club Zambia Forestry College Zermelo Fraenkel Mengenlehre mit Auswahlaxiom Zipsendorfer Fußballclub, siehe ZFC Meuselwitz Diese Seite ist eine …   Deutsch Wikipedia

  • ZFC Meuselwitz — Voller Name Zipsendorfer Fußballclub Meuselwitz e.V. Gegründet 1990 …   Deutsch Wikipedia

  • ZFC Meuselwitz — Football club infobox clubname = ZFC Meuselwitz fullname = Zipsendorfer Fußballclub Meuselwitz e.V. nickname = founded = 1919 ground = Bluechip Arena capacity = 4,000 chairman = Hubert Wolf manager = Ulrich Oevermann league = NOFV Oberliga Süd… …   Wikipedia

  • ZFC — noun of , the standard axiomatization of set theory, including the axiom of choice …   Wiktionary

  • ZFC — Zero Field Cooling (Academic & Science » Electronics) * Zermelo Fraenkel Choice (Academic & Science » Mathematics) * Zimmer Frame Club (Miscellaneous » Hobbies) * Back4Win Backup Archive (Computing » File Extensions) * Zev Friedus Consulting… …   Abbreviations dictionary

  • ZFC — Zero Failure Criteria ( > IEEE Standard Dictionary ) …   Acronyms

  • ZFC — Zero Failure Criteria ( > IEEE Standard Dictionary ) …   Acronyms von A bis Z

  • ZFC — abbr. Zero Failure Criteria …   Dictionary of abbreviations

  • List of statements undecidable in ZFC — The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent.Functional analysisCharles Akemann and Nik Weaver showed in 2003 that the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”