standard model of natural numbers
GPTKB entity
Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
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
|
https://www.w3.org/2000/01/rdf-schema#label |
standard model of natural numbers
|
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
foundations of mathematics model theory |
gptkbp:bfsParent |
gptkb:Peano_arithmetic
|
gptkbp:bfsLayer |
6
|