Statements (32)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal semantics
|
gptkbp:alsoKnownAs |
gptkb:Q
|
gptkbp:excludes |
induction schema
|
gptkbp:hasAxiom |
gptkb:Q6
gptkb:Q7 gptkb:Q3 arithmetic Q4 Q5 Q1 Q2 |
https://www.w3.org/2000/01/rdf-schema#label |
Robinson arithmetic
|
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
|