@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:-VWLLSCW9-R
  skos:prefLabel "axiome de régularité"@fr, "axiom of regularity"@en ;
  a skos:Concept ;
  skos:related psr:-GWVJ4B59-7 .

psr:-KLGJXP99-N
  skos:prefLabel "axiom of infinity"@en, "axiome de l'infini"@fr ;
  a skos:Concept ;
  skos:related psr:-GWVJ4B59-7 .

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

psr:-GWVJ4B59-7
  skos:inScheme psr: ;
  skos:prefLabel "Zermelo-Fraenkel set theory"@en, "théorie des ensembles de Zermelo-Fraenkel"@fr ;
  skos:definition """ In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice", and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory">https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory</a>)"""@en, """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 XIXe siècle par Georg Cantor. L'axiomatisation a été élaborée au début du XXe siècle par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem. Cette axiomatisation échappe aux paradoxes d'une théorie trop naïve des ensembles, comme le paradoxe de Russell, en écartant le schéma de compréhension non restreint (le fait que toute propriété puisse définir un ensemble, celui des objets ayant cette propriété) pour n'en conserver que certains cas particuliers utiles. De ce fait il existe des classes, des collections d’objets mathématiques définies par une propriété partagée par tous leurs membres, qui ne sont pas des ensembles. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_ensembles_de_Zermelo-Fraenkel">https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_ensembles_de_Zermelo-Fraenkel</a>)"""@fr ;
  skos:related psr:-KLGJXP99-N, psr:-VWLLSCW9-R ;
  a skos:Concept ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory>, <https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_ensembles_de_Zermelo-Fraenkel> ;
  skos:broader psr:-T88XBMNP-M .