Concept information
Preferred term
univers de von Neumann
Definition(s)
-
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)
Broader concept(s)
Synonym(s)
- hiérarchie cumulative de von Neumann
In other languages
-
English
-
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}}