@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-KLGJXP99-N
  skos:prefLabel "axiome de l'infini"@fr, "axiom of infinity"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Axiome_de_l%27infini>, <https://en.wikipedia.org/wiki/Axiom_of_infinity> ;
  a skos:Concept ;
  skos:definition """In axiomatic set theory and the branches of mathematics and philosophy that use it, the axiom of infinity is one of the axioms of Zermelo–Fraenkel set theory. It guarantees the existence of at least one infinite set, namely a set containing the natural numbers. It was first published by Ernst Zermelo as part of his set theory in 1908. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Axiom_of_infinity">https://en.wikipedia.org/wiki/Axiom_of_infinity</a>)"""@en, """En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels. Il apparait dans la première axiomatisation de la théorie des ensembles, publiée par Ernst Zermelo en 1908, sous une forme cependant un peu différente de celle exposée ci-dessous. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Axiome_de_l%27infini">https://fr.wikipedia.org/wiki/Axiome_de_l%27infini</a>)"""@fr ;
  skos:related psr:-GWVJ4B59-7 ;
  skos:broader psr:-T88XBMNP-M ;
  skos:inScheme psr: .

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

psr:-GWVJ4B59-7
  skos:prefLabel "théorie des ensembles de Zermelo-Fraenkel"@fr, "Zermelo-Fraenkel set theory"@en ;
  a skos:Concept ;
  skos:related psr:-KLGJXP99-N .