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.
Univers constructibleEn mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté , est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . Il y montrait que cette classe est un de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente.
Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Epsilon-inductionIn set theory, -induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction. The principle implies transfinite induction and recursion. It may also be studied in a general context of induction on well-founded relations. The schema is for any given property of sets and states that, if for every set , the truth of follows from the truth of for all elements of , then this property holds for all sets.
Hereditary setIn set theory, a hereditary set (or pure set) is a set whose elements are all hereditary sets. That is, all elements of the set are themselves sets, as are all elements of the elements, and so on. For example, it is vacuously true that the empty set is a hereditary set, and thus the set containing only the empty set is a hereditary set. Similarly, a set that contains two elements: the empty set and the set that contains only the empty set, is a hereditary set.
Hereditarily countable setIn set theory, a set is called hereditarily countable if it is a countable set of hereditarily countable sets. The inductive definition above is well-founded and can be expressed in the language of first-order set theory. A set is hereditarily countable if and only if it is countable, and every element of its transitive closure is countable. If the axiom of countable choice holds, then a set is hereditarily countable if and only if its transitive closure is countable.
Univers (logique)En mathématiques, et en particulier en théorie des ensembles et en logique mathématique, un univers est un ensemble (ou parfois une classe propre) ayant comme éléments tous les objets qu'on souhaite considérer dans un contexte donné. Structure (mathématiques) Dans de nombreuses utilisations élémentaires de la théorie des ensembles, on se place en réalité dans un ensemble général U (appelé parfois univers de référence), et les seuls ensembles considérés sont les éléments et les sous-ensembles de U ; c'est ce point de vue qui a amené Cantor à développer sa théorie en partant de U = R, l'ensemble des nombres réels.
Axiome de la paireEn 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. Essentiellement, l'axiome affirme que : deux ensembles quelconques peuvent toujours former un nouvel ensemble, que l'on appelle paire, auquel ils appartiennent tous deux et ce sont les seuls. Dans le langage formel de l'axiomatique de Zermelo-Fraenkel, l'axiome s'écrit : qui se lit en français : étant donné a et b deux ensembles, il existe un ensemble c tel que, pour tout ensemble x, x est un élément de c si et seulement si x est égal à a ou à b.
Ensemble transitifEn mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble. Un ensemble X est dit transitif si tout élément y d’un élément x de X est lui-même élément de X c'est-à-dire si tout élément x de X est un sous-ensemble de X (en notant « ⊂ » l'inclusion au sens large) : ∀ x (x ∈ X ⇒ x ⊂ X) ce qui revient à (en notant ∪X l'union des éléments de X) : ∪X ⊂ X.
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.
