Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiomatic system
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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Peano axioms (second order)
|
| 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
foundations of mathematics model theory |
| gptkbp:bfsParent |
gptkb:second_order_arithmetic
|
| gptkbp:bfsLayer |
8
|