Accès plus rapide que le navigateur!
19 relations: Axiome, 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, Classe (mathématiques), Ensemble bien ordonné, Ensemble infini, Ernst Zermelo, Nombre ordinal, Paradoxe de Russell, Schéma d'axiomes, Schéma d'axiomes de remplacement, Théorie des ensembles, Théorie des ensembles de von Neumann-Bernays-Gödel, Variable libre.
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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension et Axiome du choix · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Schéma d'axiomes de compréhension et Classe (mathématiques) · 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!!: Schéma d'axiomes de compréhension et Ensemble bien ordonné · Voir plus »
Ensemble infini
En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.
Nouveau!!: Schéma d'axiomes de compréhension et Ensemble infini · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Schéma d'axiomes de compréhension et Ernst Zermelo · 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!!: Schéma d'axiomes de compréhension et Nombre ordinal · 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!!: Schéma d'axiomes de compréhension et Paradoxe de Russell · Voir plus »
Schéma d'axiomes
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
Nouveau!!: Schéma d'axiomes de compréhension et Schéma d'axiomes · 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!!: Schéma d'axiomes de compréhension et Schéma d'axiomes de remplacement · 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!!: Schéma d'axiomes de compréhension 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!!: Schéma d'axiomes de compréhension et Théorie des ensembles de von Neumann-Bernays-Gödel · 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!!: Schéma d'axiomes de compréhension et Variable libre · Voir plus »
Redirections ici:
Axiome de compréhension, Axiome de separation, Schema d'axiomes de comprehension, Schéma d'axiomes de séparation.
