About: タルスキの定義不可能性定理

Property	Value
dbo:wikiPageExternalLink	https://web.archive.org/web/20110608131053/http:/www.staff.amu.edu.pl/~rmur/hpl1.ps https://web.archive.org/web/20140109135345/http:/www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf%7C http://users.ox.ac.uk/~jrlucas/Godel/mmg.html http://www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf%7C http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Tarski%20-%20The%20Concept%20of%20Truth%20in%20Formalized%20Languages.pdf
dbo:wikiPageID	4675056 (xsd:integer)
dbo:wikiPageLength	7670 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	92168474 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:メタ定理 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:数学基礎論の定理 dbpedia-ja:Category:数理論理学 dbpedia-ja:Category:真理論 dbpedia-ja:Category:論理学の哲学 dbpedia-ja:ZFC dbpedia-ja:アルフレト・タルスキ dbpedia-ja:クルト・ゲーデル dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:ゲーデル数 dbpedia-ja:ジョン・フォン・ノイマン dbpedia-ja:ペアノの公理 dbpedia-ja:メタ言語 dbpedia-ja:レイモンド・スマリヤン dbpedia-ja:再帰 dbpedia-ja:否定 dbpedia-ja:形式体系 dbpedia-ja:意味論 dbpedia-ja:数学基礎論 dbpedia-ja:数理論理学 dbpedia-ja:真理値 dbpedia-ja:算術的階層 dbpedia-ja:背理法 dbpedia-ja:自己言及 dbpedia-ja:自然数 dbpedia-ja:述語 dbpedia-ja:量化 dbpedia-ja:階乗 dbpedia-ja:帰納的集合 dbpedia-ja:ポストの定理 dbpedia-ja:ゲーデル数化 dbpedia-ja:対角線論法 dbpedia-ja:ペアノ算術 dbpedia-ja:フィボナッチ数列 dbpedia-ja:Alfred_Tarski dbpedia-ja:Raymond_Smullyan dbpedia-ja:二階算術 dbpedia-ja:Austrian_Academy_of_Sciences dbpedia-ja:Diagonal_lemma dbpedia-ja:George_Boolos dbpedia-ja:John_Lucas_(philosopher) dbpedia-ja:John_P._Burgess dbpedia-ja:Richard_Jeffrey dbpedia-ja:Studia_Philosophica_(Poland) dbpedia-ja:一階 dbpedia-ja:一階算術 dbpedia-ja:再帰関数 dbpedia-ja:構造(数学) dbpedia-ja:真理述語 dbpedia-ja:関数記号
prop-en:wikiPageUsesTemplate	template-en:Cite_journal template-en:Reflist template-en:Mathematical_logic template-en:Metalogic template-en:Theories_of_truth template-en:Annotated_link
dct:subject	dbpedia-ja:Category:メタ定理 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:数学基礎論の定理 dbpedia-ja:Category:数理論理学 dbpedia-ja:Category:真理論 dbpedia-ja:Category:論理学の哲学
rdfs:label	タルスキの定義不可能性定理 (ja) タルスキの定義不可能性定理 (ja)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/タルスキの定義不可能性定理?oldid=92168474&ns=0
foaf:isPrimaryTopicOf	http://ja.wikipedia.org/wiki/タルスキの定義不可能性定理
is dbo:wikiPageWikiLink of	dbpedia-ja:レイモンド・スマリヤン dbpedia-ja:再帰理論 dbpedia-ja:到達不能基数 dbpedia-ja:真の算術
is owl:sameAs of	dbpedia-wikidata:タルスキの定義不可能性定理
is foaf:primaryTopic of	http://ja.wikipedia.org/wiki/タルスキの定義不可能性定理