Peano axioms

GPTKB entity

Statements (32)
Predicate Object
gptkbp:instanceOf axiomatic system
mathematical logic concept
gptkbp:alternativeName gptkb:Peano_postulates
gptkbp:axiom1 0 is a natural number
gptkbp:axiom2 every natural number has a unique successor
gptkbp:axiom3 0 is not the successor of any natural number
gptkbp:axiom4 distinct natural numbers have distinct successors
gptkbp:axiom5 if a set contains 0 and is closed under successor, it contains all natural numbers (induction axiom)
gptkbp:category mathematical axioms
gptkbp:consistsOf five axioms
gptkbp:field gptkb:logic
gptkb:mathematics
number theory
gptkbp:hasModel standard model of arithmetic
gptkbp:hasNonStandardModel nonstandard models of arithmetic
https://www.w3.org/2000/01/rdf-schema#label Peano axioms
gptkbp:influenced gptkb:logic
gptkb:set_theory
foundations of mathematics
gptkbp:introduced gptkb:Giuseppe_Peano
gptkbp:introducedIn 1889
gptkbp:language first-order language with equality, 0, and successor function
gptkbp:purpose formalize the natural numbers
gptkbp:relatedTo gptkb:first-order_logic
gptkb:second-order_logic
natural numbers
gptkbp:usedFor foundation of arithmetic
gptkbp:bfsParent gptkb:Giuseppe_Peano
gptkb:Axiom_of_Infinity
gptkb:Foundations_of_mathematics
gptkb:Zermelo-Fraenkel_set_theory
gptkbp:bfsLayer 5