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

psr:-W62W44BV-T
  skos:prefLabel "logical equivalence"@en, "équivalence logique"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-J3KL8M8V-R
  skos:prefLabel "Gödel's incompleteness theorem"@en, "théorème d'incomplétude de Gödel"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:
  a skos:ConceptScheme ;
  skos:hasTopConcept psr:-NRJSM1FG-4 .

psr:-NKWJXD3F-V
  skos:prefLabel "Gödel's completeness theorem"@en, "théorème de complétude de Gödel"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-DDJ6PXBZ-R
  skos:prefLabel "fonction successeur"@fr, "successor function"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-R9KK9HLD-7
  skos:prefLabel "formule"@fr, "formula"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-NRJSM1FG-4
  skos:topConceptOf psr: ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique>, <https://en.wikipedia.org/wiki/Mathematical_logic> ;
  skos:definition """La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un "sens" mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité.  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique">https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique</a>)"""@fr, """Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.  
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Mathematical_logic">https://en.wikipedia.org/wiki/Mathematical_logic</a>)"""@en ;
  skos:narrower psr:-P7KW6098-P, psr:-DDJ6PXBZ-R, psr:-D2W638N6-D, psr:-ZFFTF212-S, psr:-LMSQ46KP-M, psr:-PTDDF28G-B, psr:-TM37Q643-X, psr:-WG0SLJKC-4, psr:-DHPKGR9N-4, psr:-H95KN8C6-Z, psr:-NDRL5LTW-M, psr:-R9KK9HLD-7, psr:-B4F577F5-H, psr:-F8V1QJJ3-3, psr:-H3RTG9KW-M, psr:-J3KL8M8V-R, psr:-NKWJXD3F-V, psr:-W62W44BV-T ;
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  skos:inScheme psr: ;
  a skos:Concept .

psr:-DHPKGR9N-4
  skos:prefLabel "axiomes de Peano"@fr, "Peano axioms"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-ZFFTF212-S
  skos:prefLabel "synthetic geometry"@en, "géométrie synthétique"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-LMSQ46KP-M
  skos:prefLabel "De Morgan's laws"@en, "lois de De Morgan"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-TM37Q643-X
  skos:prefLabel "constante logique"@fr, "logical constant"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-P7KW6098-P
  skos:prefLabel "théorie des modèles"@fr, "model theory"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-H95KN8C6-Z
  skos:prefLabel "first-order predicate calculus"@en, "calcul des prédicats"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-D2W638N6-D
  skos:prefLabel "algèbre de Boole"@fr, "Boolean algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-H3RTG9KW-M
  skos:prefLabel "démonstration formelle"@fr, "formal proof"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-F8V1QJJ3-3
  skos:prefLabel "théorie de la démonstration"@fr, "proof theory"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-NDRL5LTW-M
  skos:prefLabel "expression"@fr, "expression"@en ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-B4F577F5-H
  skos:prefLabel "propositional calculus"@en, "calcul des propositions"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-WG0SLJKC-4
  skos:prefLabel "computability theory"@en, "théorie de la calculabilité"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .

psr:-PTDDF28G-B
  skos:prefLabel "higher-order logic"@en, "logique d'ordre supérieur"@fr ;
  a skos:Concept ;
  skos:broader psr:-NRJSM1FG-4 .