Question

Who can translate this for me:

\[\forall A \subset \mathbb{N} [(\exists n \in \mathbb{N}\ \ n\in A)\implies(\exists x \in A\ \forall y \in A (y > x)\vee(y=x))]\]

Answer 1

For all subsets of the natural numbers there exists a number n that is an element of the natural numbers and of the subset implies that there exists some x in the subset such that for all y where y is an element of the subset either y is greater than x or y is equal to x.

Answer 2

Basically if you take a subset of the natural numbers there is always one number that is smaller than all the others.

Answer 3

That it.

Answer 4

you deserve every medal in the world for that one :-P

Answer 5

Number theory is a "hobby" of mine. If by hobby you include addictions.