Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:axiomatic_system
gptkb:mathematical_logic_concept |
| gptkbp:alsoKnownAs |
gptkb:Peano_axioms
|
| gptkbp:basisFor |
gptkb:Peano_arithmetic
|
| gptkbp:consistsOf |
axioms for induction
axioms for successor function axioms for zero |
| gptkbp:defines |
properties of natural numbers
|
| gptkbp:describes |
natural numbers
|
| gptkbp:field |
gptkb:logic
gptkb:set_theory number theory |
| gptkbp:influencedBy |
gptkb:Richard_Dedekind
|
| gptkbp:introduced |
gptkb:Giuseppe_Peano
|
| gptkbp:introducedIn |
1889
|
| gptkbp:language |
gptkb:first-order_logic
|
| gptkbp:relatedTo |
gptkb:second-order_logic
foundations of mathematics mathematical induction |
| gptkbp:usedFor |
formalizing arithmetic
|
| gptkbp:bfsParent |
gptkb:On_the_Nature_of_Numbers
gptkb:Peano_postulates gptkb:Julius_Wilhelm_Richard_Dedekind |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dedekind–Peano axioms
|