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
ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
Property
Value
dbo:
abstract
ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
(ja)
ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
(ja)
dbo:
wikiPageExternalLink
https://repository.lib.tottori-u.ac.jp/ja/list/recent_addition/p/246/item/1151
dbo:
wikiPageID
12694
(xsd:integer)
dbo:
wikiPageLength
7993
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
91978316
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:数学のエポニム
dbpedia-ja
:四則演算
dbpedia-ja
:1+1
dbpedia-ja
:1889年
dbpedia-ja
:1891年
dbpedia-ja
:Category:ジュゼッペ・ペアノ
dbpedia-ja
:Category:公理
dbpedia-ja
:Category:数学に関する記事
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
:集合論
dbpedia-ja
:順序数
dbpedia-ja
:レーヴェンハイム=スコーレムの定理
dbpedia-ja
:渕野昌
prop-ja:
wikiPageUsesTemplate
template-ja
:Citation
template-ja
:Cite_book
template-ja
:Cite_journal
template-ja
:Div_col
template-ja
:Div_col_end
template-ja
:Google_books
template-ja
:Kotobank
template-ja
:Lang-en-short
template-ja
:Normdaten
template-ja
:Reflist
template-ja
:脚注の不足
template-ja
:脚注ヘルプ
template-ja
:Harvid
dct:
subject
dbpedia-ja
:Category:数学のエポニム
dbpedia-ja
:Category:ジュゼッペ・ペアノ
dbpedia-ja
:Category:公理
dbpedia-ja
:Category:数学に関する記事
rdfs:
comment
ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
(ja)
ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
(ja)
rdfs:
label
ペアノの公理
(ja)
ペアノの公理
(ja)
owl:
sameAs
freebase
:ペアノの公理
prov:
wasDerivedFrom
wikipedia-ja
:ペアノの公理?oldid=91978316&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:ペアノの公理
is
dbo:
wikiPageRedirects
of
dbpedia-ja
:ペアノの定義
dbpedia-ja
:ペアノ公理
dbpedia-ja
:ペアノ定義
dbpedia-ja
:ペアノ算術
dbpedia-ja
:ペアノ計算
dbpedia-ja
:ペアーノの公理
dbpedia-ja
:ペアーノの定義
dbpedia-ja
:ペアーノ公理
dbpedia-ja
:ペアーノ定義
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:ペアノの定義
dbpedia-ja
:ポストの定理
dbpedia-ja
:0
dbpedia-ja
:1
dbpedia-ja
:1+1
dbpedia-ja
:1932年
dbpedia-ja
:4月20日
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
:数学ガール
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
:ペアーノ定義
is
owl:
sameAs
of
dbpedia-wikidata
:ペアノの公理
is
foaf:
primaryTopic
of
wikipedia-ja
:ペアノの公理