Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
ペアノ算術
An Entity of Type :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
1170065
(xsd:integer)
dbo:
wikiPageLength
20
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-ja
:ペアノの公理
dbo:
wikiPageRevisionID
15111692
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:ペアノの公理
rdfs:
label
ペアノ算術
(ja)
ペアノ算術
(ja)
owl:
sameAs
freebase
:ペアノ算術
prov:
wasDerivedFrom
http://ja.wikipedia.org/wiki/ペアノ算術?oldid=15111692&ns=0
foaf:
isPrimaryTopicOf
http://ja.wikipedia.org/wiki/ペアノ算術
is
dbo:
wikiPageWikiLink
of
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
:証明可能性論理
is
foaf:
primaryTopic
of
http://ja.wikipedia.org/wiki/ペアノ算術