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