Following are the 5 Axioms of Peano or also called as Peano’s Postulates
N1.
N2. If
N3. is not the successor of any element in
.
N4. If two numbers have the same successor then
N5. A subset of which contains
, and which contains
whenever it contains
, must equal
Q. What is the significance of Peano’s Axiom ?
Most familiar properties of can be proved using Peano’s Axioms.
Q. How do you prove N5 ?
Given the set contains . If
We will prove by Contradiction
Suppose there is a set and
, that means there is a smallest element
. Obviously
as
. As
is the smallest element which is not in
. But if
so we have a
and our assumption that there exists a number outside set
is False and