Peano axioms: Difference between revisions
Jump to navigation
Jump to search
imported>Johan Förberg |
mNo edit summary |
||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
The '''Peano axioms''' are a set of | The '''Peano axioms''' are a set of [[axiom]]s that formally describes the [[natural number]]s (0, 1, 2, 3 ...). | ||
They were proposed by the Italian mathematician [[Giuseppe Peano]] in 1889. | |||
They consist of a few basic — and intuitively obvious — properties that, however, | |||
are sufficient to define the natural numbers: | |||
: There is a smallest natural number (either 0 or 1), starting from which all natural numbers can be reached by moving finitely often to the "next" number (obtained by adding 1). | |||
== The axioms == | == The axioms == | ||
Today the Peano axioms are usually formulated as follows: | |||
# Zero is a natural number. | # Zero is a natural number. | ||
# Every natural number has a successor | # Every natural number has a unique successor that also is a natural number. | ||
# Zero is not the successor of any natural number. | # Zero is not the successor of any natural number. | ||
# Different natural numbers have different successors. | # Different natural numbers have different successors. | ||
# If Zero has property ''P'', and | # If it is true that | ||
:( | ::(a) Zero has property ''P'', and | ||
: | ::(b) if any given natural number has property ''P'' then its successor also has property ''P'' | ||
: then all natural numbers have property ''P''. | |||
The last axiom is called the axiom (or rule) of [[induction (mathematics)|induction]].[[Category:Suggestion Bot Tag]] | |||
The last axiom is called the [[ | |||
Latest revision as of 06:01, 2 October 2024
The Peano axioms are a set of axioms that formally describes the natural numbers (0, 1, 2, 3 ...). They were proposed by the Italian mathematician Giuseppe Peano in 1889. They consist of a few basic — and intuitively obvious — properties that, however, are sufficient to define the natural numbers:
- There is a smallest natural number (either 0 or 1), starting from which all natural numbers can be reached by moving finitely often to the "next" number (obtained by adding 1).
The axioms
Today the Peano axioms are usually formulated as follows:
- Zero is a natural number.
- Every natural number has a unique successor that also is a natural number.
- Zero is not the successor of any natural number.
- Different natural numbers have different successors.
- If it is true that
- (a) Zero has property P, and
- (b) if any given natural number has property P then its successor also has property P
- then all natural numbers have property P.
The last axiom is called the axiom (or rule) of induction.