Concept information
Terme préférentiel
univers de von Neumann
Définition
-
En 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.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Univers_de_von_Neumann)
Concept générique
Synonyme(s)
- hiérarchie cumulative de von Neumann
Traductions
-
anglais
-
von Neumann hierarchy of sets
URI
http://data.loterre.fr/ark:/67375/PSR-RCZ19XVF-5
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}