@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix xl: <http://www.w3.org/2008/05/skos-xl#>.
@prefix rdag1: <http://RDVocab.info/ElementsGr1/>.
@prefix rda: <http://RDVocab.info/ElementsGr2/>.
@prefix rdaa: <http://rdaregistry.info/Elements/a/>.
@prefix frbrent: <http://RDVocab.info/uri/schema/FRBRentitiesRDA/>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ndl: <http://ndl.go.jp/dcndl/terms/>.
@prefix dct: <http://purl.org/dc/terms/>.

<http://id.ndl.go.jp/auth/ndlsh/00573738>
	rdf:type <http://www.w3.org/2004/02/skos/core#Concept>;
	dct:modified "2011-03-07T17:24:26";
	dct:created "1980-06-20";
	xl:prefLabel [xl:literalForm "超数学";ndl:transcription "チョウスウガク"@ja-Kana,"Chosugaku"@ja-Latn];
	rdfs:label "超数学";
	xl:altLabel [xl:literalForm "証明論";ndl:transcription "ショウメイロン"@ja-Kana,"Shomeiron"@ja-Latn],[xl:literalForm "Metamathematics"];
	dct:source "証明論入門 / 竹内外史, 八杉満利子 共著","岩波数学辞典";
	skos:inScheme <http://id.ndl.go.jp/auth#topicalTerms>;
	owl:sameAs <http://id.ndl.go.jp/auth/ndlsh/超数学>;
	skos:relatedMatch <http://id.ndl.go.jp/class/ndlc/MA41>,<http://id.ndl.go.jp/class/ndc9/410.9>;
	skos:broader <http://id.ndl.go.jp/auth/ndlsh/00571521>;
	skos:closeMatch <http://id.loc.gov/authorities/subjects/sh85084269>;
	skos:related <http://id.ndl.go.jp/auth/ndlsh/00571525>,<http://id.ndl.go.jp/auth/ndlsh/00562524>.

<http://id.ndl.go.jp/auth/ndlsh/00571521> rdfs:label "数学".
<http://id.ndl.go.jp/auth/ndlsh/00571525> rdfs:label "数学基礎論".
<http://id.ndl.go.jp/auth/ndlsh/00562524> rdfs:label "ゲーデルの定理".