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