Concept
Absoluteness (logic)
Concepts associés (4)
Nombre ordinal
vignette|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. s'appellent des adjectifs numéraux ordinaux, et servent à préciser le rang d'un objet dans une collection, ou l'ordre d'un événement dans une succession.
Univers constructible
En 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.
Forcing
En 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.
Théorie des ensembles de Zermelo-Fraenkel
vignette|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. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.