@prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix skos: . @prefix xl: . @prefix rdag1: . @prefix rda: . @prefix rdaa: . @prefix frbrent: . @prefix foaf: . @prefix ndl: . @prefix dct: . rdf:type ; dct:modified "2019-03-04T15:39:30"; dct:created "1980-06-20"; xl:prefLabel [xl:literalForm "数学基礎論";ndl:transcription "スウガクキソロン"@ja-Kana,"Sugakukisoron"@ja-Latn]; rdfs:label "数学基礎論"; xl:altLabel [xl:literalForm "Logic, Symbolic and mathematical"]; dct:source "自然数論 / 河田敬義 著","岩波数学辞典"; skos:exactMatch ; skos:inScheme ; owl:sameAs ; skos:relatedMatch ,,; skos:broader ; skos:closeMatch ; skos:related ,,; skos:narrower ,,. rdfs:label "数学". rdfs:label "逆理 (数学)". rdfs:label "記号論理学". rdfs:label "超数学". rdfs:label "カオス". rdfs:label "モデルの理論". rdfs:label "ゲーデルの定理".