Difference between revisions of "Natural Numbers:Postulates"

Revision as of 11:22, 1 October 2021

1 is a natural number.
For every natural number $n$ , the successor to $n$ , ( $n+1$ ), is also a natural number.
1 is not a successor to any natural number.
If two numbers $n_{1}$ and $n_{2}$ have the same successor, then $n_{1}=n_{2}$ .
If a set $S$ contains 1, and also contains the successor of every element $n$ in $S$ , then every natural number is in $S$ .

@@ Line 1: / Line 1: @@
 ==Peano's Axioms for the Natural Numbers==
 # 1 is a natural number.
-# For every natural number <math> n </math>, the successor to <math> n </math> (<math> n + 1 </math>) is also a natural number.
+# For every natural number <math> n </math>, the successor to <math> n </math>, (<math> n + 1 </math>), is also a natural number.
 # 1 is not a successor to any natural number.
 # If two numbers <math> n_1 </math> and <math> n_2 </math> have the same successor, then <math> n_1 = n_2 </math>.
 # If a set <math> S </math> contains 1, and also contains the successor of every element <math> n </math> in <math> S </math>, then every natural number is in <math> S </math>.