standard model of natural numbers
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb:model_of_Peano_arithmetic |
| gptkbp:containsElement |
2
0 1 |
| gptkbp:contrastsWith |
nonstandard models of arithmetic
|
| gptkbp:describes |
natural numbers
|
| gptkbp:domain |
set of natural numbers
|
| gptkbp:hasSuccessorFunction |
S
|
| gptkbp:isCountable |
true
|
| gptkbp:isUniqueUpToIsomorphism |
true
|
| gptkbp:operator |
addition
multiplication |
| gptkbp:relatedTo |
gptkb:state_order
equality |
| gptkbp:satisfies |
gptkb:Peano_axioms
|
| gptkbp:symbol |
(ℕ, 0, S, +, ×)
|
| gptkbp:usedIn |
gptkb:logic
gptkb:model_theory foundations of mathematics |
| gptkbp:bfsParent |
gptkb:Peano_arithmetic
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
standard model of natural numbers
|