Accès plus rapide que le navigateur!
38 relations: Abraham Adolf Fraenkel, Andrzej Mostowski, Appartenance (mathématiques), 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 de limitation de taille, Axiome du choix, Azriel Lévy, Égalité (mathématiques), Calcul des prédicats, Chapman & Hall, Classe (mathématiques), Couple (mathématiques), David Lewis (philosophe), Ensemble vide, Ernst Zermelo, Extension conservatrice, Fundamenta Mathematicae, John L. Kelley, John von Neumann, Kenneth Kunen, Langage formel, 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 Kripke-Platek, Théorie des ensembles de von Neumann-Bernays-Gödel, Théorie des ensembles de Zermelo-Fraenkel, Thoralf Skolem, Ur-element, Wang Hao (logicien), Willard Van Orman Quine, 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Abraham Adolf Fraenkel · Voir plus »
Andrzej Mostowski
Andrzej Mostowski (–) est un mathématicien polonais.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Andrzej Mostowski · Voir plus »
Appartenance (mathématiques)
Le symbole de l'appartenance. En mathématique ensembliste, l’ est une relation entre un élément et un ensemble, et également par abus de notations une relation entre un objet et une classe.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Appartenance (mathématiques) · 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).
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome d'extensionnalité · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de fondation · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de l'ensemble des parties · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de l'infini · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de la paire · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de la réunion · Voir plus »
Axiome de limitation de taille
En théorie des ensembles, plus précisément en théorie des classes, l'axiome de limitation de taille a été proposé par John von Neumann dans le cadre de sa théorie des classes.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome de limitation de taille · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Axiome du choix · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Azriel Lévy · Voir plus »
Égalité (mathématiques)
"Signe égal" exprimant l'égalité entre deux expressions. En mathématiques, l’égalité est une relation binaire entre deux objets signifiant que ces objets sont identiques, c’est-à-dire que le remplacement de l’un par l’autre dans une expression ne change jamais la valeur de cette dernière.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Égalité (mathématiques) · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Calcul des prédicats · Voir plus »
Chapman & Hall
Chapman & Hall est une maison d'édition britannique de Londres, fondée dans la première moitié du par Edward Chapman et William Hall.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Chapman & Hall · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Classe (mathématiques) · Voir plus »
Couple (mathématiques)
En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Couple (mathématiques) · Voir plus »
David Lewis (philosophe)
David Kellogg Lewis, né le à Oberlin (Ohio) et mort le à Princeton (New Jersey), philosophe américain, est l'une des figures majeures de la philosophie analytique contemporaine.
Nouveau!!: Théorie des ensembles de Morse-Kelley et David Lewis (philosophe) · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Ensemble vide · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Ernst Zermelo · Voir plus »
Extension conservatrice
En logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d'une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans le langage de T1 est déjà un théorème de T1.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Extension conservatrice · Voir plus »
Fundamenta Mathematicae
Fundamenta Mathematicae (abrégé en Fund. Math.) est une revue de mathématiques publiée par l'académie polonaise des sciences.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Fundamenta Mathematicae · Voir plus »
John L. Kelley
John Leroy Kelley (au Kansas – à Oakland (Californie), UC Berkley) est un mathématicien américain qui travaillait à l'université de Californie à Berkeley, en topologie générale et en analyse fonctionnelle Son traité de 1952, General Topology, est un ouvrage de référence largement utilisé au niveau maîtrise, édité trois fois et traduit en plusieurs langues.
Nouveau!!: Théorie des ensembles de Morse-Kelley et John L. Kelley · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Théorie des ensembles de Morse-Kelley et John von Neumann · Voir plus »
Kenneth Kunen
Herbert Kenneth Kunen, né le à New York et mort le à Madison (Wisconsin), est un mathématicien américain, professeur émérite de mathématiques à l'université du Wisconsin à Madison qui travaillait en théorie des ensembles et à ses applications en topologie et en théorie de la mesure.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Kenneth Kunen · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Langage formel · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Schéma d'axiomes de compréhension · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Schéma d'axiomes de remplacement · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Théorie axiomatique · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Théorie des ensembles · Voir plus »
Théorie des ensembles de Kripke-Platek
La théorie des ensembles de Kripke-Platek est un système d'axiomes du premier ordre pour la théorie des ensembles, développé par Saul Kripke et Richard Platek.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Kripke-Platek · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Thoralf Skolem
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Thoralf Skolem · Voir plus »
Ur-element
En théorie des ensembles, un ur-element (ou urelement) est quelque chose qui n'est pas un ensemble mais qui peut être élément d'un ensemble.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Ur-element · Voir plus »
Wang Hao (logicien)
Wang Hao (ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Wang Hao (logicien) · Voir plus »
Willard Van Orman Quine
Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Willard Van Orman Quine · 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.
Nouveau!!: Théorie des ensembles de Morse-Kelley et Yehoshua Bar-Hillel · Voir plus »
