Muitíssimo obrigado aos senhores LuizAquino e MarceloFantini pelas respostas. \forall S \subseteq \mathbb{N}, com S\neq \varnothing, \exists \, m\in S tal que m \leq n, \forall n\in S . Isto realmente está bem melhor. Mas e se eu quiser mostrar que para m \leq n ser verdadeiro, devemos ter que \fora...