Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alsoKnownAs |
gptkb:Peano_arithmetic
|
| gptkbp:cannotExpress |
induction for arbitrary properties
|
| gptkbp:describes |
natural numbers
|
| gptkbp:expressedIn |
properties of natural numbers
|
| gptkbp:field |
gptkb:logic
gptkb:mathematics |
| gptkbp:hasAxiom |
gptkb:Peano_axioms
|
| gptkbp:hasModel |
standard model of arithmetic
|
| gptkbp:hasNonstandardModels |
true
|
| gptkbp:influencedBy |
gptkb:Giuseppe_Peano
|
| gptkbp:isIncomplete |
true
|
| gptkbp:isUndecidable |
true
|
| gptkbp:relatedTo |
gptkb:second_order_arithmetic
gptkb:Presburger_arithmetic gptkb:Robinson_arithmetic |
| gptkbp:studies |
gptkb:state_order
addition equality multiplication |
| gptkbp:subjectOf |
gptkb:Gödel's_incompleteness_theorems
gptkb:Löwenheim–Skolem_theorem compactness theorem |
| gptkbp:uses |
gptkb:first-order_logic
|
| gptkbp:bfsParent |
gptkb:second_order_arithmetic
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
first order arithmetic
|