Accès plus rapide que le navigateur!
25 relations: Axiome, Axiome de fondation, Axiome du choix, Égalité (mathématiques), Calcul des prédicats, Classe (mathématiques), Ensemble, Ensemble des parties d'un ensemble, Ensemble vide, Ernst Zermelo, Gottfried Wilhelm Leibniz, Harvey Friedman, Inclusion (mathématiques), Induction structurelle, Journal of Symbolic Logic, Paire, Paradoxe de Russell, Relation d'équivalence, Schéma d'axiomes, 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, Ur-element.
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 d'extensionnalité et Axiome · 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!!: Axiome d'extensionnalité et Axiome de 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 d'extensionnalité et Axiome du choix · 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!!: Axiome d'extensionnalité 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!!: Axiome d'extensionnalité et Calcul des prédicats · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Axiome d'extensionnalité et Classe (mathématiques) · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Axiome d'extensionnalité et Ensemble · 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 d'extensionnalité et Ensemble des parties d'un ensemble · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Axiome d'extensionnalité 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!!: Axiome d'extensionnalité et Ernst Zermelo · Voir plus »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.
Nouveau!!: Axiome d'extensionnalité et Gottfried Wilhelm Leibniz · Voir plus »
Harvey Friedman
Harvey Friedman (p. 38.) est un mathématicien logicien à l'université d'État de l'Ohio.
Nouveau!!: Axiome d'extensionnalité et Harvey Friedman · Voir plus »
Inclusion (mathématiques)
En mathématiques, l’inclusion est une relation d'ordre entre ensembles.
Nouveau!!: Axiome d'extensionnalité et Inclusion (mathématiques) · Voir plus »
Induction structurelle
En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets.
Nouveau!!: Axiome d'extensionnalité et Induction structurelle · Voir plus »
Journal of Symbolic Logic
Le Journal of Symbolic Logic est une revue mathématiques publié trimestriellement par Association for Symbolic Logic.
Nouveau!!: Axiome d'extensionnalité et Journal of Symbolic Logic · Voir plus »
Paire
Une paire est un ensemble qui comprend exactement deux éléments.
Nouveau!!: Axiome d'extensionnalité et Paire · 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 d'extensionnalité et Paradoxe de Russell · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Axiome d'extensionnalité et Relation d'équivalence · Voir plus »
Schéma d'axiomes
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
Nouveau!!: Axiome d'extensionnalité et Schéma d'axiomes · 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 d'extensionnalité 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 d'extensionnalité 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 d'extensionnalité 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 d'extensionnalité 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 d'extensionnalité et Théorie des ensembles de Zermelo-Fraenkel · 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!!: Axiome d'extensionnalité et Ur-element · Voir plus »
