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
|
https://www.w3.org/2000/01/rdf-schema#label |
first order arithmetic
|
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
|