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))]$$

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))]$$

anonymous · Answer

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.

anonymous · Answer

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

anonymous · Answer

That it.

anonymous · Answer

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

anonymous · Answer

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