Well-Ordering Principle

Principle

Every nonempty subset of ${\mathbb{Z}}_{\ge 0}$ has a smallest element