@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0007567>
  skos:prefLabel "نظریه مدل نظریه مجموعه‌ها"@fa, "model theory of set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007387>
  skos:prefLabel "اصل موضوع توان"@fa, "axiom of powers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007297>
  skos:prefLabel "مسئله سازگاری"@fa, "consistency problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007390>
  skos:prefLabel "اصل موضوع خوش‌بنیانی"@fa, "well-founded axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007396>
  skos:prefLabel "پارادکس راسل"@fa, "russell paradox"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007380>
  skos:prefLabel "اصل موضوع اجتماع"@fa, "union axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007386>
  skos:prefLabel "اصل موضوع تسرملو"@fa, "zermelo axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007197>
  skos:prefLabel "اصل موضوع"@fa, "axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007290>
  skos:prefLabel "نظریه سازگار"@fa, "consistent theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007395>
  skos:prefLabel "اصل موضوع همنهشتی"@fa, "congruence axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007546>
  skos:prefLabel "نظریه مجموعه‌های طبیعی"@fa, "naive set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007385>
  skos:prefLabel "اصل موضوع بی‌نهایت"@fa, "axiom of infinity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007403>
  skos:prefLabel "رده"@fa, "class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007394>
  skos:prefLabel "اصل موضوع وقوع"@fa, "incidence axioms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007384>
  skos:prefLabel "اصل موضوع انتخاب"@fa, "axiom of choice"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007393>
  skos:prefLabel "اصل موضوع مارتین"@fa, "martin axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007399>
  skos:prefLabel "رده تعریف‌پذیر"@fa, "definable class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/mathpro1043> skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .
<http://www.irandoc.acir/onto/irandoc/mathpro3281> skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .
<http://www.irandoc.acir/onto/irandoc/math0007389>
  skos:prefLabel "اصل موضوع جایگزینی"@fa, "axiom of substitution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007299>
  skos:prefLabel "consistency"@en, "سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007723>
  skos:prefLabel "نظریه رده‌بندی"@fa, "classification theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007392>
  skos:prefLabel "اصل موضوع سازگاری"@fa, "axiom of compatibility"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007398>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007391>, <http://www.irandoc.acir/onto/irandoc/math0007388>, <http://www.irandoc.acir/onto/irandoc/math0007386>, <http://www.irandoc.acir/onto/irandoc/math0007390>, <http://www.irandoc.acir/onto/irandoc/math0007396>, <http://www.irandoc.acir/onto/irandoc/math0007392>, <http://www.irandoc.acir/onto/irandoc/math0007380>, <http://www.irandoc.acir/onto/irandoc/math0007384>, <http://www.irandoc.acir/onto/irandoc/math0007393>, <http://www.irandoc.acir/onto/irandoc/math0007389>, <http://www.irandoc.acir/onto/irandoc/math0007387>, <http://www.irandoc.acir/onto/irandoc/math0007385>, <http://www.irandoc.acir/onto/irandoc/math0007397>, <http://www.irandoc.acir/onto/irandoc/math0007394>, <http://www.irandoc.acir/onto/irandoc/math0007382>, <http://www.irandoc.acir/onto/irandoc/math0007395> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007546>, <http://www.irandoc.acir/onto/irandoc/math0007297>, <http://www.irandoc.acir/onto/irandoc/math0007290>, <http://www.irandoc.acir/onto/irandoc/math0007403>, <http://www.irandoc.acir/onto/irandoc/math0007723>, <http://www.irandoc.acir/onto/irandoc/math0007197>, <http://www.irandoc.acir/onto/irandoc/math0007399>, <http://www.irandoc.acir/onto/irandoc/math0007567>, <http://www.irandoc.acir/onto/irandoc/math0007299> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007568> ;
  skos:prefLabel "اصول موضوع نظریه مجموعه‌ها"@fa, "axioms of set theory"@en .

<http://www.irandoc.acir/onto/irandoc/math0007568>
  skos:prefLabel "نظریه مجموعه‌ها"@fa, "set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007382>
  skos:prefLabel "اصل موضوع استقرا"@fa, "axiom of induction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007388>
  skos:prefLabel "اصل موضوع توسیع"@fa, "axiom of extension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007391>
  skos:prefLabel "اصل موضوع خوش‌ترتیبی"@fa, "well-ordering axiom"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .

<http://www.irandoc.acir/onto/irandoc/math0007397>
  skos:prefLabel "فرض پیوستار"@fa, "continuum hypothesis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007398> .