Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiomatic system
|
| gptkbp:alsoKnownAs |
gptkb:Peano_axioms
|
| gptkbp:axiom1 |
0 is a natural number
|
| gptkbp:axiom2 |
Every natural number has a unique successor
|
| gptkbp:axiom3 |
0 is not the successor of any natural number
|
| gptkbp:axiom4 |
Different natural numbers have different successors
|
| gptkbp:axiom5 |
If a set contains 0 and the successor of every number in the set, then it contains all natural numbers (induction axiom)
|
| gptkbp:basisFor |
arithmetic
|
| gptkbp:consistsOf |
five axioms
|
| gptkbp:describes |
natural numbers
|
| gptkbp:expressedIn |
gptkb:first-order_logic
|
| gptkbp:formedBy |
gptkb:Giuseppe_Peano
1889 |
| https://www.w3.org/2000/01/rdf-schema#label |
Peano postulates
|
| gptkbp:influenced |
formalization of mathematics
|
| gptkbp:language |
gptkb:Italian
|
| gptkbp:publishedIn |
gptkb:Arithmetices_principia,_nova_methodo_exposita
|
| gptkbp:relatedTo |
gptkb:Dedekind–Peano_axioms
|
| gptkbp:usedIn |
gptkb:logic
number theory |
| gptkbp:bfsParent |
gptkb:Peano_axioms
|
| gptkbp:bfsLayer |
6
|