Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
|
| gptkbp:alsoKnownAs |
gptkb:Q
|
| gptkbp:excludes |
induction schema
|
| gptkbp:hasAxiom |
gptkb:Q6
gptkb:Q7 gptkb:Q3 arithmetic Q4 Q5 Q1 Q2 |
| gptkbp:introduced |
gptkb:Raphael_M._Robinson
|
| gptkbp:introducedIn |
1950
|
| gptkbp:isConsistentIf |
Peano arithmetic is consistent
|
| gptkbp:isEssentiallyUndecidable |
true
|
| gptkbp:isFinitelyAxiomatizable |
true
|
| gptkbp:isMinimalTheoryFor |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:isRecursivelyEnumerable |
true
|
| gptkbp:isWeakerThan |
gptkb:Peano_arithmetic
|
| gptkbp:languageIncludes |
gptkb:S_(successor_function)
0 + = × |
| gptkbp:namedAfter |
gptkb:Raphael_M._Robinson
|
| gptkbp:usedIn |
gptkb:logic
incompleteness theorems proof theory |
| gptkbp:bfsParent |
gptkb:Peano_arithmetic
gptkb:Raphael_M._Robinson |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robinson arithmetic
|