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

psr: a skos:ConceptScheme .
psr:-SM7TPDGF-Q
  skos:prefLabel "Russell's paradox"@en, "paradoxe de Russell"@fr ;
  skos:altLabel "antinomie de Russell"@fr, "Russell's antinomy"@en ;
  skos:broader psr:-T88XBMNP-M ;
  skos:definition """In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox published by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, as he told Hilbert and Richard Dedekind by letter. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Russell%27s_paradox">https://en.wikipedia.org/wiki/Russell%27s_paradox</a>)"""@en, """Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui-même parle de théorie des classes, en un sens équivalent), qui a joué un rôle important dans la formalisation de celle-ci. Il fut découvert par Bertrand Russell vers 1901 et publié en 1903. Il était en fait déjà connu à Göttingen, où il avait été découvert indépendamment par Ernst Zermelo, à la même époque, mais ce dernier ne l'a pas publié. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Paradoxe_de_Russell">https://fr.wikipedia.org/wiki/Paradoxe_de_Russell</a>)"""@fr ;
  skos:inScheme psr: ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Paradoxe_de_Russell>, <https://en.wikipedia.org/wiki/Russell%27s_paradox> ;
  a skos:Concept .

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