This HTML5 document contains 219 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
n10http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q833585
owl:sameAs
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:1+1
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:Λ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:Ω無矛盾
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:アラン・チューリング
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:アルフレト・タルスキ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:アレクサンドル・エセーニン=ヴォーリピン
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ウィリアム・ローヴェア
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:エトムント・フッサール
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:エルブランの定理
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:エンニオ・デ・ジョルジ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:キャロル・カープ賞
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:クルト・ゲーデル
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ゲオルク・クライゼル
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ゲーデルの不完全性定理
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ジョン・フォン・ノイマン
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:スタニスワフ・レシニェフスキ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ステファン・バナフ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ソフィ・ジェルマン
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:タルスキの定義不可能性定理
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ダフィット・ヒルベルト
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
prop-en:knownFor
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ツェルメロ=フレンケル集合論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:トアルフ・スコーレム
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ヒルベルト・プログラム
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:プログラミング言語年表
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ポール・フィンスラー
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:メタ
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:メレオロジー
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:モース-ケリー集合論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ライツェン・エヒベルトゥス・ヤン・ブラウワー
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ラショーヴァ=シコルスキの補題
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:ルートヴィヒ・ウィトゲンシュタイン
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:中村幸四郎
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:亀がアキレスに言ったこと
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:代数幾何学と解析幾何学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:公理
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:千葉大学の人物一覧
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:原始帰納的算術
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:同一性
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:命題関数
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:哲学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:型理論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:学問の一覧
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:宇宙_(数学)
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:宇沢弘文
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:実数
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:島内剛一
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:幾何学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:幾何学基礎論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:廣瀬健
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:形式言語
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:排中律
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学の哲学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学の問題
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学の統一理論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学史
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学基礎論
rdfs:label
数学基礎論
rdfs:comment
数学基礎論(すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics)は、現在の日本では、専ら数理論理学(mathematical logic)を指す言葉として使われる。
owl:sameAs
freebase:m.016pdv
dct:subject
n4:理論計算機科学 n4:論理学 n4:数理論理学 n4:数学基礎論 n4:数学に関する記事 n4:分野別の科学哲学 n4:アルゴリズム n4:計算機科学
dbo:wikiPageID
37040
dbo:wikiPageRevisionID
92497676
dbo:wikiPageWikiLink
n4:アルゴリズム 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:完全性 n4:理論計算機科学 dbpedia-ja:概念 dbpedia-ja:形式体系 dbpedia-ja:形式意味論 dbpedia-ja:共立出版 n4:論理学 dbpedia-ja:型理論 dbpedia-ja:ユークリッド dbpedia-ja:モデル理論 n4:数理論理学 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:直観主義論理 n4:数学基礎論 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:論理学 n4:数学に関する記事 dbpedia-ja:定義 dbpedia-ja:エルブランの定理 dbpedia-ja:プログラミング言語 dbpedia-ja:本質 n4:分野別の科学哲学 dbpedia-ja:計算機科学 dbpedia-ja:ゲオルク・カントル dbpedia-ja:ジョン・フォン・ノイマン dbpedia-ja:新井敏康 dbpedia-ja:計量 dbpedia-ja:カリー=ハワード同型対応 dbpedia-ja:計算モデル dbpedia-ja:導出原理 n4:計算機科学 dbpedia-ja:古典論理 dbpedia-ja:計算可能関数 dbpedia-ja:数学
prop-en:wikiPageUsesTemplate
template-en:Larger template-en:参照方法 template-en:出典の明記 template-en:Reflist template-en:Metalogic template-en:Logic template-en:ページ番号 template-en:Smaller template-en:Normdaten template-en:Notelist2 template-en:要ページ番号 template-en:要出典 template-en:読み仮名_ruby不使用 template-en:Sfn template-en:Foundations-footer template-en:Cite_book template-en:Citation template-en:Interp template-en:Quotation template-en:Efn2 template-en:Lang-en-short
prop-en:date
2022
prop-en:section
1
dbo:abstract
数学基礎論(すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics)は、現在の日本では、専ら数理論理学(mathematical logic)を指す言葉として使われる。
dbo:wikiPageLength
8240
prov:wasDerivedFrom
n10:数学基礎論?oldid=92497676&ns=0
foaf:isPrimaryTopicOf
n10:数学基礎論
Subject Item
dbpedia-ja:数学的対象
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学的構造
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数学者の一覧
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:数理論理学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:新井敏康
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
prop-en:field
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:新井紀子
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:日本の数学者の一覧
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:日本数学会
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:春季賞
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:有限演算
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:末綱恕一
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:無矛盾
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:現代思想
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:理性主義
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:田中一之
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
prop-en:field
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:直観主義_(数学の哲学)
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:直観主義型理論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:真理関数
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:矛盾
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:科学哲学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:立教大学の人物一覧
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:竹内外史
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:算術の基礎
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:素朴集合論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:自然数
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:解析学
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:計算理論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:証明論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:論理主義_(数学)
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:赤攝也
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:近藤洋逸
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:量子力学の数学的基礎
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:隈部正博
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:集合論
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:離散空間
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:順序対
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:カントールの往復論法
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
dbpedia-ja:論理学者
dbo:wikiPageWikiLink
dbpedia-ja:数学基礎論
Subject Item
n10:数学基礎論
foaf:primaryTopic
dbpedia-ja:数学基礎論