Théorie ZF

Théorie ZF

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 Théorie ZF de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • théorie — [ teɔri ] n. f. • 1496; « science de la contemplation » 1380; rare av. XVIIe; lat. ecclés. theoria, mot gr. « observation, contemplation », de theôrein « observer » I ♦ 1 ♦ Ensemble d idées, de concepts abstraits, plus ou moins organisés,… …   Encyclopédie Universelle

  • Theorie — Théorie La Science et les Sciences Généralités Connaissance · Théorie · Savoir Classification des sciences Science empirique · sciences exactes Sciences dures · sciences molles Science de la nature · …   Wikipédia en Français

  • Theorie M — Théorie M La théorie M est une théorie élaborée par Edward Witten qui a pour but d unifier les cinq théories des cordes. Sommaire 1 Introduction 2 Le nom 3 Voir aussi 3.1 Articles connexes …   Wikipédia en Français

  • théorie — 1. (té o rie) s. f. 1°   Spéculation ; connaissance qui s arrête à la simple spéculation, sans passes à la pratique. Cet homme a plus de théorie que de pratique. •   Ceux que vous rendez innocents dans la théorie, sont perdus dans la pratique… …   Dictionnaire de la Langue Française d'Émile Littré

  • theorie — THEORIE. s. f. Connoissance qui s arreste à la simple speculation sans passer à la pratique. Ce que vous dites est beau dans la theorie, mais il ne reussit pas dans la pratique. la theorie en est belle, mais la pratique en est difficile. reduire… …   Dictionnaire de l'Académie française

  • Theorie — Sf std. (18. Jh.) Entlehnung. Entlehnt aus l. theōria, dieses aus gr. theōría, eigentlich Anschauen, Betrachtung , zu gr. theōrós m. Zuschauer , besonders einer, der als Gesandter einer griechischen Stadt zum Tempel, Orakel oder Festspiel eines… …   Etymologisches Wörterbuch der deutschen sprache

  • Theorie — (v. gr.), 1) überhaupt Betrachtung, Beschauung, erkennendes Denken im Gegensatz theils zu der erfahrungsmäßigen sinnlichen Auffassung (Empirie), theils zur thätigen Ausführung (Praxis). Im engeren Sinne 2) eine Verknüpfung u. Ableitung der… …   Pierer's Universal-Lexikon

  • Theorīe — (griech.), eigentlich das Beschauen, Betrachten, auch das Zuschauen bei einem Schau und Festspiel und die Beteiligung an einer auswärtigen Festfeier seitens des Staates durch eine Festgesandtschaft, auch die Festgesandtschaft selbst. Solche… …   Meyers Großes Konversations-Lexikon

  • Theorie — Theorīe (grch., eigentlich das Anschauen), Darstellung einer Wissenschaft in ihrem systematischen Zusammenhange, Herleitung einer Erscheinung aus dem ihr zugrunde liegenden Gesetz, im Gegensatze zur Erfahrung (Empirie), wie zur Praxis;… …   Kleines Konversations-Lexikon

  • Theorie — »abstrakte Betrachtungsweise; System wissenschaftlich begründeter Aussagen zur Erklärung bestimmter Erscheinungen o. Ä.«: Das seit dem 16. Jh. bezeugte Fremdwort, das gewöhnlich als Gegenwort zu ↑ Praxis gebraucht wird, ist aus griech. lat.… …   Das Herkunftswörterbuch

  • Theorie — [Network (Rating 5600 9600)] …   Deutsch Wörterbuch

Share the article and excerpts

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