Accès plus rapide que le navigateur!
13 relations: Axiomatisation, Axiome, Axiome d'extensionnalité, Axiome de la paire, Ensemble, Ensemble vide, Intersection (mathématiques), Langage formel, Schéma d'axiomes de compréhension, Théorie des ensembles, Théorie des ensembles de Zermelo, Théorie des ensembles de Zermelo-Fraenkel, Union (mathématiques).
Axiomatisation
En mathématiques, l'axiomatisation d'une théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles.
Nouveau!!: Axiome de la réunion et Axiomatisation · 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 la réunion et Axiome · 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!!: Axiome de la réunion et Axiome d'extensionnalité · 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!!: Axiome de la réunion et Axiome de la paire · 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 de la réunion et Ensemble · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Axiome de la réunion et Ensemble vide · Voir plus »
Intersection (mathématiques)
Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes: l'intersection de deux ensembles A et B est l'ensemble, noté, dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là.
Nouveau!!: Axiome de la réunion et Intersection (mathématiques) · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Axiome de la réunion 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!!: Axiome de la réunion et Schéma d'axiomes de compréhension · 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 la réunion et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo
La théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann.
Nouveau!!: Axiome de la réunion et Théorie des ensembles de Zermelo · 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 la réunion et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Union (mathématiques)
Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base.
Nouveau!!: Axiome de la réunion et Union (mathématiques) · Voir plus »
