@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/00562524>
	rdf:type <http://www.w3.org/2004/02/skos/core#Concept>;
	dct:modified "2020-01-27T09:03:26";
	dct:created "1980-06-20";
	xl:prefLabel [xl:literalForm "ゲーデルの定理";ndl:transcription "ゲーデルノテイリ"@ja-Kana,"Gederunoteiri"@ja-Latn];
	rdfs:label "ゲーデルの定理";
	xl:altLabel [xl:literalForm "不完全性定理";ndl:transcription "フカンゼンセイテイリ"@ja-Kana,"Fukanzenseiteiri"@ja-Latn],[xl:literalForm "Godel's theorem"],[xl:literalForm "Incompleteness theorems"];
	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/H35>,<http://id.ndl.go.jp/class/ndlc/MA41>,<http://id.ndl.go.jp/class/ndc10/410.9>,<http://id.ndl.go.jp/class/ndc9/410.9>;
	skos:broader <http://id.ndl.go.jp/auth/ndlsh/00571525>;
	skos:closeMatch <http://id.loc.gov/authorities/subjects/sh85055601>,<http://id.loc.gov/authorities/subjects/sh85064795>;
	skos:related <http://id.ndl.go.jp/auth/ndlsh/00573738>.

<http://id.ndl.go.jp/auth/ndlsh/00571525> rdfs:label "数学基礎論".
<http://id.ndl.go.jp/auth/ndlsh/00573738> rdfs:label "超数学".