Please Login to access more options.
Axiom (Well Ordering Principle)
Every nonempty subset $S$ of the natural numbers has a least element. By least element, we mean that there is a natural number $m$ which is an element of $S$ such that $m\leq x$ for every $x$ in $S$.