@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-RCZ19XVF-5
  skos:prefLabel "univers de von Neumann"@fr, "von Neumann universe"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Von_Neumann_universe>, <https://fr.wikipedia.org/wiki/Univers_de_von_Neumann> ;
  dc:created "2023-08-21"^^xsd:date ;
  a skos:Concept ;
  skos:broader psr:-T88XBMNP-M ;
  skos:altLabel "von Neumann hierarchy of sets"@en, "hiérarchie cumulative de von Neumann"@fr ;
  dc:modified "2023-08-21"^^xsd:date ;
  skos:definition """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. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Univers_de_von_Neumann">https://fr.wikipedia.org/wiki/Univers_de_von_Neumann</a>)"""@fr, """In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Von_Neumann_universe">https://en.wikipedia.org/wiki/Von_Neumann_universe</a>)"""@en ;
  skos:inScheme psr: .

psr:-T88XBMNP-M
  skos:prefLabel "set theory"@en, "théorie des ensembles"@fr ;
  a skos:Concept ;
  skos:narrower psr:-RCZ19XVF-5 .