Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:axiomatic_system
gptkb:mathematical_logic_concept |
| gptkbp:basisFor |
arithmetic
|
| gptkbp:consistsOf |
axioms of induction
axioms of successor axioms of zero |
| gptkbp:contrastsWith |
Peano axioms (first order)
|
| gptkbp:describes |
natural numbers
|
| gptkbp:expressedIn |
gptkb:second-order_logic
|
| gptkbp:formedBy |
gptkb:Giuseppe_Peano
1889 |
| gptkbp:guarantees |
uniqueness up to isomorphism
|
| gptkbp:implies |
categoricity of natural numbers
|
| gptkbp:relatedTo |
gptkb:Dedekind–Peano_axioms
|
| gptkbp:requires |
second-order induction
|
| gptkbp:studiedIn |
gptkb:logic
|
| gptkbp:usedIn |
gptkb:set_theory
gptkb:model_theory foundations of mathematics |
| gptkbp:bfsParent |
gptkb:second_order_arithmetic
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
Peano axioms (second order)
|