Accès plus rapide que le navigateur!
27 relations: Abraham Adolf Fraenkel, Akihiro Kanamori, Axiome, Axiome d'anti-fondation, Axiome du choix, Axiome du choix dépendant, Cambridge University Press, Classe (mathématiques), Contre-exemple, Ensemble des parties d'un ensemble, Ensemble transitif, Ensemble vide, Ernst Specker, John von Neumann, Nombre ordinal, Ordinal limite, Paradoxe de Russell, Relation bien fondée, Schéma d'axiomes de compréhension, Singleton (mathématiques), Springer Science+Business Media, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, Théorie des ensembles non bien fondés, Thoralf Skolem, Univers de von Neumann, Variable libre.
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!!: Axiome de fondation et Abraham Adolf Fraenkel · Voir plus »
Akihiro Kanamori
est un mathématicien américain né en 1948 à Tokyo au Japon.
Nouveau!!: Axiome de fondation et Akihiro Kanamori · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Axiome de fondation et Axiome · Voir plus »
Axiome d'anti-fondation
L’axiome d’anti-fondation (en anglais, anti-foundation axiom ou AFA) est un axiome alternatif à l'axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d'appartenance sur les ensembles.
Nouveau!!: Axiome de fondation et Axiome d'anti-fondation · 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!!: Axiome de fondation et Axiome du choix · Voir plus »
Axiome du choix dépendant
En mathématiques, l'axiome du choix dépendant, noté DC, est une forme faible de l'axiome du choix (AC), suffisante pour développer une majeure partie de l'analyse réelle.
Nouveau!!: Axiome de fondation et Axiome du choix dépendant · 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.
Nouveau!!: Axiome de fondation et Cambridge University Press · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Axiome de fondation et Classe (mathématiques) · Voir plus »
Contre-exemple
En logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions.
Nouveau!!: Axiome de fondation et Contre-exemple · 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!!: Axiome de fondation et Ensemble des parties d'un ensemble · Voir plus »
Ensemble transitif
En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble.
Nouveau!!: Axiome de fondation et Ensemble transitif · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Axiome de fondation et Ensemble vide · Voir plus »
Ernst Specker
Ernst Paul Specker, né le 11 février 1920 à Zurich et mort 10 décembre 2011 dans la même ville est un mathématicien suisse.
Nouveau!!: Axiome de fondation et Ernst Specker · 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!!: Axiome de fondation et John von Neumann · 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!!: Axiome de fondation 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!!: Axiome de fondation 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!!: Axiome de fondation et Paradoxe de Russell · Voir plus »
Relation bien fondée
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix).
Nouveau!!: Axiome de fondation et Relation bien fondée · 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!!: Axiome de fondation et Schéma d'axiomes de compréhension · Voir plus »
Singleton (mathématiques)
En mathématiques, un singleton est un ensemble qui comprend exactement un élément.
Nouveau!!: Axiome de fondation et Singleton (mathématiques) · Voir plus »
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Nouveau!!: Axiome de fondation et Springer Science+Business Media · 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!!: Axiome de fondation et Théorie des ensembles · 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!!: Axiome de fondation et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Théorie des ensembles non bien fondés
La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite.
Nouveau!!: Axiome de fondation et Théorie des ensembles non bien fondés · Voir plus »
Thoralf Skolem
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.
Nouveau!!: Axiome de fondation et Thoralf Skolem · 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!!: Axiome de fondation et Univers de von Neumann · Voir plus »
Variable libre
En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression une substitution peut avoir lieu.
Nouveau!!: Axiome de fondation et Variable libre · Voir plus »
Redirections ici:
Axiome de régularité, Rang d'un ensemble, Rang ordinal.
