Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:axiomatic_system
gptkb:mathematical_logic_concept |
| gptkbp:alternativeName |
gptkb:Peano_postulates
|
| 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 |
distinct natural numbers have distinct successors
|
| gptkbp:axiom5 |
if a set contains 0 and is closed under successor, it contains all natural numbers (induction axiom)
|
| gptkbp:category |
mathematical axioms
|
| gptkbp:consistsOf |
five axioms
|
| gptkbp:field |
gptkb:logic
gptkb:mathematics number theory |
| gptkbp:hasModel |
standard model of arithmetic
|
| gptkbp:hasNonStandardModel |
nonstandard models of arithmetic
|
| gptkbp:influenced |
gptkb:logic
gptkb:set_theory foundations of mathematics |
| gptkbp:introduced |
gptkb:Giuseppe_Peano
|
| gptkbp:introducedIn |
1889
|
| gptkbp:language |
first-order language with equality, 0, and successor function
|
| gptkbp:purpose |
formalize the natural numbers
|
| gptkbp:relatedTo |
gptkb:first-order_logic
gptkb:second-order_logic natural numbers |
| gptkbp:usedFor |
foundation of arithmetic
|
| gptkbp:bfsParent |
gptkb:Giuseppe_Peano
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Peano axioms
|