About DBpedia

About: 真の算術

An Entity of Type : Thing, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。

Property Value
dbo:abstract
  • 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
  • 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2100127 (xsd:integer)
dbo:wikiPageLength
  • 5953 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 80393777 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:title
  • Arithmetic (ja)
  • Peano Arithmetic (ja)
  • Tarski's Theorem (ja)
  • Arithmetic (ja)
  • Peano Arithmetic (ja)
  • Tarski's Theorem (ja)
prop-ja:urlname
  • Arithmetic (ja)
  • PeanoArithmetic (ja)
  • TarskisTheorem (ja)
  • Arithmetic (ja)
  • PeanoArithmetic (ja)
  • TarskisTheorem (ja)
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
  • 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
rdfs:label
  • 真の算術 (ja)
  • 真の算術 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License