Axiome de fondationL'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles. Introduit par Abraham Fraenkel, Thoralf Skolem (1922) et John von Neumann (1925), il joue un grand rôle dans cette théorie, alors que les mathématiciens ne l'utilisent jamais ailleurs, même s'ils le considèrent souvent comme intuitivement vérifié. L'axiome de fondation fait ou non partie des axiomes de ZF (et ZFC) suivant les ouvrages. Dans la suite, on choisit de prendre ZF et ZFC sans axiome de fondation.
ForcingEn mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en 1962 pour prouver l'indépendance de l'hypothèse du continu vis-à-vis de la théorie ZFC. Combinée avec la technique des modèles de permutation de Fraenkel-Mostowski-Specker, elle a permis également d'établir l'indépendance de l'axiome du choix relativement à ZF.
Univers de GrothendieckEn mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes : si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; si x et y appartiennent à U alors {x, y} aussi ; si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; si (x) est une famille d'éléments de U et si I appartient à U, alors l'union ⋃ x appartient à U. Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique.
Inner modelIn set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T and contains all the ordinals of M. Let be the language of set theory. Let S be a particular set theory, for example the ZFC axioms and let T (possibly the same as S) also be a theory in . If M is a model for S, and N is an -structure such that N is a substructure of M, i.e. the interpretation of in N is N is a model for T the domain of N is a transitive class of M N contains all ordinals of M then we say that N is an inner model of T (in M).
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Reflection principleIn set theory, a branch of mathematics, a reflection principle says that it is possible to find sets that, with respect to any given property, resemble the class of all sets. There are several different forms of the reflection principle depending on exactly what is meant by "resemble". Weak forms of the reflection principle are theorems of ZF set theory due to , while stronger forms can be new and very powerful axioms for set theory. The name "reflection principle" comes from the fact that properties of the universe of all sets are "reflected" down to a smaller set.
Relation inverseIn mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if and are sets and is a relation from to then is the relation defined so that if and only if In set-builder notation, The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse.
Univers de von NeumannEn 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 », tels que la relation d'appartenance sur ces ensembles soit bien fondée. Cette classe, qui est formalisée par la théorie des ensembles de Zermelo-Fraenkel (ZFC), est souvent utilisée pour fournir une interprétation ou une motivation des axiomes de ZFC. Ce concept est nommé d'après John von Neumann, bien qu'il ait été publié pour la première fois par Ernst Zermelo en 1930.
Complémentaire (théorie des ensembles)En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie d'un ensemble est constitué de tous les éléments de n'appartenant pas à . Le complémentaire de est . En cas de risque de confusion, si l'on veut préciser que l'on parle du complémentaire de dans , on note . Si est différent de l'ensemble vide et de , alors et forment une partition de l'ensemble . Lorsque est un ensemble fini, la somme des cardinaux de et est égale au cardinal de : D'où on déduit : Exemple Pour dénombrer les absents dans une assemblée prévue de cinquante personnes, il suffit de compter les présents.
Diagramme de Vennvignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique.
