Accès plus rapide que le navigateur!
49 relations: Abraham Adolf Fraenkel, Aleph (nombre), 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 du choix, Équipotence, Calcul des prédicats, Cardinalité (mathématiques), Classe (mathématiques), Construction des entiers naturels, Deutsche Mathematiker-Vereinigung, Ensemble bien ordonné, Ensemble des parties d'un ensemble, Ensembles disjoints, Entier naturel, Ernst Zermelo, Felix Hausdorff, Georg Cantor, Hypothèse du continu, John von Neumann, Kurt Gödel, Nombre ordinal, Ordinal limite, Paradoxe de Russell, Paul Bernays, Paul Cohen, Principia Mathematica, Richard Dedekind, Saunders Mac Lane, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Singleton (mathématiques), Structure (logique mathématique), Surjection, Théorème de Cantor, Théorèmes d'incomplétude de Gödel, Théorie des ensembles, Théorie des ensembles de von Neumann-Bernays-Gödel, Théorie des ensembles de Zermelo-Fraenkel, Thoralf Skolem, Topos (mathématiques), Union (mathématiques), Univers de von Neumann, Ur-element.
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 Zermelo et Abraham Adolf Fraenkel · Voir plus »
Aleph (nombre)
Aleph-zéro, le plus petit aleph En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés.
Nouveau!!: Théorie des ensembles de Zermelo et Aleph (nombre) · 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 Zermelo 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 Zermelo 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 Zermelo 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 Zermelo 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 Zermelo 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 Zermelo 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 Zermelo et Axiome de la réunion · 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 Zermelo et Axiome du choix · Voir plus »
Équipotence
En mathématiques, l’équipotence est une relation entre ensembles, selon laquelle deux ensembles sont équivalents lorsqu'il existe une bijection entre eux.
Nouveau!!: Théorie des ensembles de Zermelo et Équipotence · 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 Zermelo et Calcul des prédicats · Voir plus »
Cardinalité (mathématiques)
En mathématiques, la cardinalité est une notion de taille pour les ensembles.
Nouveau!!: Théorie des ensembles de Zermelo et Cardinalité (mathématiques) · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Théorie des ensembles de Zermelo et Classe (mathématiques) · Voir plus »
Construction des entiers naturels
Il existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann.
Nouveau!!: Théorie des ensembles de Zermelo et Construction des entiers naturels · Voir plus »
Deutsche Mathematiker-Vereinigung
de La Deutsche Mathematiker-Vereinigung (DMV, « Société allemande de Mathématiques ») est l'association des mathématiciens allemands.
Nouveau!!: Théorie des ensembles de Zermelo et Deutsche Mathematiker-Vereinigung · Voir plus »
Ensemble bien ordonné
En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite: Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables.
Nouveau!!: Théorie des ensembles de Zermelo et Ensemble bien ordonné · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Théorie des ensembles de Zermelo et Ensemble des parties d'un ensemble · Voir plus »
Ensembles disjoints
Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun.
Nouveau!!: Théorie des ensembles de Zermelo et Ensembles disjoints · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Théorie des ensembles de Zermelo et Entier naturel · 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 Zermelo et Ernst Zermelo · Voir plus »
Felix Hausdorff
Felix Hausdorff est un mathématicien allemand né le à Breslau (aujourd'hui Wrocław) et mort le à Bonn.
Nouveau!!: Théorie des ensembles de Zermelo et Felix Hausdorff · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Théorie des ensembles de Zermelo et Georg Cantor · 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.
Nouveau!!: Théorie des ensembles de Zermelo et Hypothèse du continu · 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 Zermelo et John von Neumann · 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.
Nouveau!!: Théorie des ensembles de Zermelo et Kurt Gödel · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Théorie des ensembles de Zermelo et Nombre ordinal · Voir plus »
Ordinal limite
En mathématiques et plus précisément en théorie des ensembles, un ordinal limite est un nombre ordinal non nul qui n'est pas un ordinal successeur.
Nouveau!!: Théorie des ensembles de Zermelo et Ordinal limite · 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.
Nouveau!!: Théorie des ensembles de Zermelo et Paradoxe de Russell · Voir plus »
Paul Bernays
Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au.
Nouveau!!: Théorie des ensembles de Zermelo et Paul Bernays · Voir plus »
Paul Cohen
Paul Joseph Cohen (1934 - 2007) est un mathématicien américain.
Nouveau!!: Théorie des ensembles de Zermelo et Paul Cohen · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Théorie des ensembles de Zermelo et Principia Mathematica · Voir plus »
Richard Dedekind
Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.
Nouveau!!: Théorie des ensembles de Zermelo et Richard Dedekind · Voir plus »
Saunders Mac Lane
Saunders MacLane (-) est un mathématicien américain.
Nouveau!!: Théorie des ensembles de Zermelo et Saunders Mac Lane · 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 Zermelo 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 Zermelo et Schéma d'axiomes de remplacement · Voir plus »
Singleton (mathématiques)
En mathématiques, un singleton est un ensemble qui comprend exactement un élément.
Nouveau!!: Théorie des ensembles de Zermelo et Singleton (mathématiques) · Voir plus »
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble.
Nouveau!!: Théorie des ensembles de Zermelo et Structure (logique mathématique) · Voir plus »
Surjection
En mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de l'ensemble de départ.
Nouveau!!: Théorie des ensembles de Zermelo et Surjection · Voir plus »
Théorème de Cantor
Georg Cantor Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles.
Nouveau!!: Théorie des ensembles de Zermelo et Théorème de Cantor · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Théorie des ensembles de Zermelo et Théorèmes d'incomplétude de 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.
Nouveau!!: Théorie des ensembles de Zermelo et Théorie des ensembles · 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 Zermelo 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 Zermelo 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 Zermelo et Thoralf Skolem · Voir plus »
Topos (mathématiques)
En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie.
Nouveau!!: Théorie des ensembles de Zermelo et Topos (mathématiques) · Voir plus »
Union (mathématiques)
Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base.
Nouveau!!: Théorie des ensembles de Zermelo et Union (mathématiques) · Voir plus »
Univers de von Neumann
En théorie des ensembles, une des branches des mathématiques, l'univers de von Neumann, ou hiérarchie cumulative de von Neumann, est la classe notée V d'ensembles « héréditaires »En anglais:, il s'agit d'ensembles exclusivement composés d'autres ensembles, ceux-ci étant à leur tour uniquement composés d'ensembles, et ainsi de suite.
Nouveau!!: Théorie des ensembles de Zermelo et Univers de von Neumann · 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 Zermelo et Ur-element · Voir plus »
