Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Installer
Accès plus rapide que le navigateur!
 

Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel

Raccourcis: Différences, Similitudes, Jaccard similarité Coefficient, Références.

Différence entre Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel

Théorie des ensembles de Zermelo-Fraenkel vs. Théorie des ensembles de von Neumann-Bernays-Gödel

L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente à la théorie ZFC de Zermelo-Fraenkel avec axiome du choix (et avec les mêmes variantes possibles), mais dont le pouvoir expressif est plus riche.

Similitudes entre Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel

Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel ont 25 choses en commun (em Unionpédia): Abraham Adolf Fraenkel, Akihiro Kanamori, Axiome d'extensionnalité, Axiome de fondation, Axiome de l'ensemble des parties, Axiome de l'ensemble vide, Axiome de l'infini, Axiome de la paire, Axiome de la réunion, Axiome du choix, Calcul des prédicats, Cambridge University Press, Classe (mathématiques), Ernst Zermelo, Georg Cantor, Hypothèse du continu, Kurt Gödel, Paradoxe de Russell, Richard Montague, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Théorie axiomatique, Théorie des catégories, Théorie des ensembles, Théorie des ensembles de Morse-Kelley.

Abraham Adolf Fraenkel

Abraham Adolf Halevi Fraenkel, né le à Munich et mort le à Jérusalem, plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement Abraham Fraenkel, est un mathématicien d'abord allemand puis israélien.

Abraham Adolf Fraenkel et Théorie des ensembles de Zermelo-Fraenkel · Abraham Adolf Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Akihiro Kanamori

est un mathématicien américain né en 1948 à Tokyo au Japon.

Akihiro Kanamori et Théorie des ensembles de Zermelo-Fraenkel · Akihiro Kanamori et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome d'extensionnalité

L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF).

Axiome d'extensionnalité et Théorie des ensembles de Zermelo-Fraenkel · Axiome d'extensionnalité et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de fondation

L'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles.

Axiome de fondation et Théorie des ensembles de Zermelo-Fraenkel · Axiome de fondation et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de l'ensemble des parties

En mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.

Axiome de l'ensemble des parties et Théorie des ensembles de Zermelo-Fraenkel · Axiome de l'ensemble des parties et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de l'ensemble vide

L'axiome de l'ensemble vide est, en mathématiques, l'un des axiomes possibles de la théorie des ensembles.

Axiome de l'ensemble vide et Théorie des ensembles de Zermelo-Fraenkel · Axiome de l'ensemble vide et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de l'infini

En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels.

Axiome de l'infini et Théorie des ensembles de Zermelo-Fraenkel · Axiome de l'infini et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de la paire

En mathématiques, l'axiome de la paire est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.

Axiome de la paire et Théorie des ensembles de Zermelo-Fraenkel · Axiome de la paire et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome de la réunion

En théorie des ensembles, l’axiome de la réunion (ou «axiome de la somme») est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, ZF.

Axiome de la réunion et Théorie des ensembles de Zermelo-Fraenkel · Axiome de la réunion et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Axiome du choix

Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.

Axiome du choix et Théorie des ensembles de Zermelo-Fraenkel · Axiome du choix et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Calcul des prédicats

En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.

Calcul des prédicats et Théorie des ensembles de Zermelo-Fraenkel · Calcul des prédicats et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Cambridge University Press

Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.

Cambridge University Press et Théorie des ensembles de Zermelo-Fraenkel · Cambridge University Press et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Classe (mathématiques)

En mathématiques, la notion de classe généralise celle d'ensemble.

Classe (mathématiques) et Théorie des ensembles de Zermelo-Fraenkel · Classe (mathématiques) et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Ernst Zermelo

Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.

Ernst Zermelo et Théorie des ensembles de Zermelo-Fraenkel · Ernst Zermelo et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Georg Cantor

Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).

Georg Cantor et Théorie des ensembles de Zermelo-Fraenkel · Georg Cantor et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Hypothèse du continu

En théorie des ensembles, l'hypothèse du continu (HC), due à Georg Cantor, affirme qu'il n'existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l'ensemble des entiers naturels et celui de l'ensemble des nombres réels.

Hypothèse du continu et Théorie des ensembles de Zermelo-Fraenkel · Hypothèse du continu et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Kurt Gödel

Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.

Kurt Gödel et Théorie des ensembles de Zermelo-Fraenkel · Kurt Gödel et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Paradoxe de Russell

Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles qui a joué un rôle important dans la formalisation de celle-ci.

Paradoxe de Russell et Théorie des ensembles de Zermelo-Fraenkel · Paradoxe de Russell et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Richard Montague

Richard Merett Montague (né le à Stockton (Californie), mort le à Los Angeles), est un mathématicien et philosophe américain qui a eu une influence notable en linguistique.

Richard Montague et Théorie des ensembles de Zermelo-Fraenkel · Richard Montague et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Schéma d'axiomes de compréhension

Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation.

Schéma d'axiomes de compréhension et Théorie des ensembles de Zermelo-Fraenkel · Schéma d'axiomes de compréhension et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Schéma d'axiomes de remplacement

Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem.

Schéma d'axiomes de remplacement et Théorie des ensembles de Zermelo-Fraenkel · Schéma d'axiomes de remplacement et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

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.

Théorie axiomatique et Théorie des ensembles de Zermelo-Fraenkel · Théorie axiomatique et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Théorie des catégories

La théorie des catégories est l'étude des structures mathématiques et de leurs relations.

Théorie des catégories et Théorie des ensembles de Zermelo-Fraenkel · Théorie des catégories et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

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.

Théorie des ensembles et Théorie des ensembles de Zermelo-Fraenkel · Théorie des ensembles et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

Théorie des ensembles de Morse-Kelley

La théorie des ensembles de Morse-Kelley (parfois abrégée en MK) est une théorie axiomatique exprimée en premier ordre dont les objets sont des classes, c'est-à-dire des ensembles en un sens proche de celui de la théorie des ensembles de Zermelo-Fraenkel (ZFC) mais aussi des « collections » d'ensembles ayant une même propriété, qui ne peuvent être considérés comme des ensembles sous peine de paradoxe, comme la collection de tous les ensembles.

Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel · Théorie des ensembles de Morse-Kelley et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel

Théorie des ensembles de Zermelo-Fraenkel a 52 relations, tout en Théorie des ensembles de von Neumann-Bernays-Gödel a 57. Comme ils ont en commun 25, l'indice de Jaccard est 22.94% = 25 / (52 + 57).

Références

Cet article montre la relation entre Théorie des ensembles de Zermelo-Fraenkel et Théorie des ensembles de von Neumann-Bernays-Gödel. Pour accéder à chaque article à partir de laquelle l'information a été extraite, s'il vous plaît visitez:

Hey! Nous sommes sur Facebook maintenant! »