Well-Ordering Principle

Every nonempty set of Positive integers contains a smallest member.

See also Well-Ordered Set

References

Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 149, 1993.