| Property |
Value |
| dbo:abstract
|
- 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、において最初に導入された。Qは本質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQはかつなPAの部分理論だからである。 (ja)
- 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、において最初に導入された。Qは本質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQはかつなPAの部分理論だからである。 (ja)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7457 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-en:date
|
- October 2014 (ja)
- October 2014 (ja)
|
| prop-en:reason
|
- The wishes of its author are not a reason for an axiom system to imply a property. Maybe it was meant that arithmetic operations have their usual meanings in the standard model, but that was just said in the previous sentence. (ja)
- The wishes of its author are not a reason for an axiom system to imply a property. Maybe it was meant that arithmetic operations have their usual meanings in the standard model, but that was just said in the previous sentence. (ja)
|
| prop-en:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、において最初に導入された。Qは本質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQはかつなPAの部分理論だからである。 (ja)
- 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、において最初に導入された。Qは本質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQはかつなPAの部分理論だからである。 (ja)
|
| rdfs:label
|
- ロビンソン算術 (ja)
- ロビンソン算術 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
