|
|
|
Revision difference : well-ordering principle for natural numbers |
| Version 6 |
Version 5 |
| Every nonempty set $S$ of nonnegative integers contains a least element; that is, there is some integer $a$ in $S$ such that $a \leq b$ for all $b$ belonging to $S$.\\ |
Every nonempty set $S$ of nonnegative integers contains a least element; that is, there is some integer $a$ in $S$ such that $a \leq b$ for all $b$ belonging to $S$.\\ |
| \\ |
|
| For example, the positive integers are a well-ordered set under the standard order. |
For example, the positive integers are a well-ordered set under the standard order. |
|
|
|
|
