@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:-P93ST75Z-8
  skos:prefLabel "théorie des nombres"@fr, "number theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-DHPKGR9N-4 .

psr: a skos:ConceptScheme .
psr:-DHPKGR9N-4
  skos:definition """En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Axiomes_de_Peano">https://fr.wikipedia.org/wiki/Axiomes_de_Peano</a>)"""@fr, """In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Peano_axioms">https://en.wikipedia.org/wiki/Peano_axioms</a>)"""@en ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:broader psr:-NRJSM1FG-4, psr:-P93ST75Z-8 ;
  skos:inScheme psr: ;
  a skos:Concept ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Peano_axioms>, <https://fr.wikipedia.org/wiki/Axiomes_de_Peano> ;
  skos:altLabel "Peano postulates"@en, "Dedekind-Peano axioms"@en ;
  skos:prefLabel "Peano axioms"@en, "axiomes de Peano"@fr .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-DHPKGR9N-4 .