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

Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel

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

Différence entre Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel

Théorie des ensembles de Morse-Kelley vs. Théorie des ensembles de Zermelo-Fraenkel

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

Similitudes entre 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 Zermelo-Fraenkel ont 19 choses en commun (em Unionpédia): Abraham Adolf Fraenkel, Axiome d'extensionnalité, Axiome de fondation, Axiome de l'ensemble des parties, Axiome de l'infini, Axiome de la paire, Axiome de la réunion, Axiome du choix, Azriel Lévy, Calcul des prédicats, Classe (mathématiques), Ernst Zermelo, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Théorie axiomatique, Théorie des ensembles, Théorie des ensembles de von Neumann-Bernays-Gödel, Thoralf Skolem, Yehoshua Bar-Hillel.

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 Morse-Kelley · Abraham Adolf Fraenkel et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome d'extensionnalité et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome de fondation et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome de l'ensemble des parties et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome de l'infini et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome de la paire et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome de la réunion et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Axiome du choix et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »

Azriel Lévy

Azriel Lévy, né en 1934 à Haïfa, est un mathématicien israélien, logicien et professeur émérite à l'université hébraïque de Jérusalem.

Azriel Lévy et Théorie des ensembles de Morse-Kelley · Azriel Lévy et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Calcul des prédicats et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Classe (mathématiques) et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Ernst Zermelo et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Schéma d'axiomes de compréhension et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Schéma d'axiomes de remplacement et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Théorie axiomatique et Théorie des ensembles de Zermelo-Fraenkel · 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 Morse-Kelley · Théorie des ensembles et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »

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

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.

Théorie des ensembles de Morse-Kelley 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 · Voir plus »

Thoralf Skolem

Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.

Théorie des ensembles de Morse-Kelley et Thoralf Skolem · Théorie des ensembles de Zermelo-Fraenkel et Thoralf Skolem · Voir plus »

Yehoshua Bar-Hillel

Yehoshua Bar-Hillel (en hébreu: יהושע בר-הלל; né le à Vienne - mort le à Jérusalem) est un philosophe, linguiste et mathématicien israélien.

Théorie des ensembles de Morse-Kelley et Yehoshua Bar-Hillel · Théorie des ensembles de Zermelo-Fraenkel et Yehoshua Bar-Hillel · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel

Théorie des ensembles de Morse-Kelley a 38 relations, tout en Théorie des ensembles de Zermelo-Fraenkel a 52. Comme ils ont en commun 19, l'indice de Jaccard est 21.11% = 19 / (38 + 52).

Références

Cet article montre la relation entre Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel. 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! »