Ogni sotto-insieme non vuoto dei numeri naturali $\mathbb{N}$, ammette un minimo.
$$ T \subseteq \mathbb{N}, T\neq \emptyset \Rightarrow \exist n \in T : \forall x \in T n \leq x
$$