Accès plus rapide que le navigateur!
16 relations: Axiome, Axiome d'extensionnalité, Axiome de l'ensemble des parties, Axiome de l'ensemble vide, Axiome de la réunion, Couple (mathématiques), Langage formel, Mathématiques, Métalangage, Nombre ordinal, Paire, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Singleton (mathématiques), Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel.
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 paire 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 paire et Axiome d'extensionnalité · 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!!: Axiome de la paire et Axiome de l'ensemble des parties · Voir plus »
Axiome de l'ensemble vide
L'axiome de l'ensemble vide est, en mathématiques, l'un des axiomes possibles de la théorie des ensembles.
Nouveau!!: Axiome de la paire et Axiome de l'ensemble vide · 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!!: Axiome de la paire et Axiome de la réunion · 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!!: Axiome de la paire et Couple (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 paire et Langage formel · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Axiome de la paire et Mathématiques · Voir plus »
Métalangage
Un métalangage est un formalisme conçu pour décrire rigoureusement un langage.
Nouveau!!: Axiome de la paire et Métalangage · 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 la paire et Nombre ordinal · Voir plus »
Paire
Une paire est un ensemble qui comprend exactement deux éléments.
Nouveau!!: Axiome de la paire et Paire · 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 paire 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!!: Axiome de la paire 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!!: Axiome de la paire et Singleton (mathématiques) · 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 paire 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 la paire et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
