File:Domino_effect_visualizing_exclusion_of_junk_term_by_induction_axiom.jpg · Wikimedia Commons · See Wikimedia Commons
Peano axioms
Sign in to saveAlso known as Dedekind–Peano axioms, Peano postulates
axiomatic system for the natural numbers
Wikidata facts
- Instance of
- axiomatic system
- Part of
- Peano arithmetic
- Named after
- Richard Dedekind
- Has parts of class
- axiom
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
~30 min read
Encyclopedic overview
In mathematical logic, the Peano axioms (/piˈɑːnoʊ/; [peˈaːno]), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete.
The axiomatization of arithmetic provided by Peano axioms is commonly called Peano arithmetic.
Excerpted from Wikipedia’s “Peano axioms” article, available under the CC BY-SA 4.0 licence.