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
In the Vinony graph
Vinony's link graph records 519 inbound references to Peano axioms, and connects out to recursively enumerable set, semantic theory of truth and natural number.
It sits within the topics 1889 introductions, Formal theories of arithmetic and Harv and Sfn no-target errors.
Vinony links it to 38 Wikipedia language editions.
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.