Difference between revisions of "Talk:Peano axioms"
(typo) |
|||
Line 26: | Line 26: | ||
# $0 \in \mathbb{N}$ | # $0 \in \mathbb{N}$ | ||
− | # $x \in \mathbb{N} \to Sx \in \mathbb{ | + | # $x \in \mathbb{N} \to Sx \in \mathbb{N}$ |
# $x \in \mathbb{N} \to Sx \neq 0$ | # $x \in \mathbb{N} \to Sx \neq 0$ | ||
# $x \in \mathbb{N} \wedge y \in \mathbb{N} \wedge Sx =Sy \to x = y$ | # $x \in \mathbb{N} \wedge y \in \mathbb{N} \wedge Sx =Sy \to x = y$ |
Revision as of 16:45, 12 June 2015
The Peano axioms page has some problems, stemming (probably) from the its migration to the E of M Wiki-environment.
I noticed the problems while developing the Hilbert 2nd problem page, on which I will be putting a link to the Peano axioms page.
I have done the following:
- reconstructed much of the Peano axioms page using Tex
- added some material that was lost in the migration to E of M
- adjusted some spacing and wording for clarity
- added a few remarks of additional historical interest
There is still an outstanding problem: something is missing on the page with the following text, but I have not yet determined exactly what is missing:
- All the axioms are independent, but
- and
- can be combined to a single one:
The result of my work on this page is shown below. I am loath to change the page before someone has looked at what I my results. Please advise William Hayes (talk) 17:23, 12 June 2015 (CEST)
- - - - -
A system of five axioms for the set of natural numbers $\mathbb{N}$ and a function $S$ (successor) on it, introduced by G. Peano (1889):
- $0 \in \mathbb{N}$
- $x \in \mathbb{N} \to Sx \in \mathbb{N}$
- $x \in \mathbb{N} \to Sx \neq 0$
- $x \in \mathbb{N} \wedge y \in \mathbb{N} \wedge Sx =Sy \to x = y$
- $0 \in M \wedge \forall x (x\in M \to Sx\in M) \to \mathbb{N} \subseteq M$ for any property $M$ (axiom of induction).
In the first version of his system, Peano used $1$ instead of $0$ in axioms 1, 3, and 5. Similar axioms were proposed by R. Dedekind (1888).
In the Peano axioms presented above, the axiom of induction (axiom 5) is a statement in second-order language. Dedekind proved that all systems of Peano axioms with such a second-order axiom of induction are categorical. That is, any two systems and
satisfying them are isomorphic. The isomorphism is determined by a function
, where
![]() |
![]() |
The existence of for all pairs
and the mutual single-valuedness for
are proved by induction.
Peano's axioms make it possible to develop number theory and, in particular, to introduce the usual arithmetic functions and to establish their properties.
All the axioms are independent, but
and
can be combined to a single one:
![]() |
if one defines as
![]() |
The independence of Peano’s axioms is proved by exhibiting, for each axiom, a model for which the axiom considered is false, but for which all the other axioms are true. For example:
- for axiom 1, such a model is the set of natural numbers beginning with $1$
- for axiom 2, it is the set $\mathbb{N} \cup \{1/2\}$, with $S0 = 1/2$ and $S1/2 =1$
- for axiom 3, it is the set $\{0\}$
- for axiom 4, it is the set $\{0, 1\}$, with $S0 = S1 = 1$
- for axiom 5, it is the set $\mathbb{N} \cup \{-1\}$
Using this method, Peano provided a proof of independence for his axioms (1891).
Sometimes one understands by the term Peano arithmetic the system in the first-order language
- with the function symbols
- $S, +, \cdot$, ::consisting of axioms ::::$Sx\neq 0$ and $Sx = Sy \to x = y$ ::defining equalities for $+$ and $\cdot$ ::::$x + 0 = x$ and $x + Sx = S(x + y)$ ::::$x \cdot 0 = 0$ and $x \cdot S(y) = x \cdot y + x$ ::and with the induction scheme ::::$A (0) \wedge \forall x (A(x) \to A(Sx)) \to \forall x A(x)$ where $A$ is an arbitrary formula, known as the induction formula (see Arithmetic, formal).
- with the function symbols
References
- S.C. Kleene, Introduction to Metamathematics, North-Holland (1951).
Comments
The system of Peano arithmetic in first-order language, mentioned at the end of the article, is no longer categorical (cf. also Categoric system of axioms), and gives rise to so-called non-standard models of arithmetic.
References
- H.C. Kennedy, ‘’Peano. Life and works of Giuseppe Peano’’, Reidel (1980).
- H.C. Kennedy, ‘’Selected works of Giuseppe Peano’’, Allen & Unwin (1973).
- E. Landau, ‘’Grundlagen der Analysis’’, Akad. Verlagsgesellschaft (1930).
Peano axioms. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Peano_axioms&oldid=36481