[26] ∀a∈R. ∃n∈N. a＜n ⇔ N is not a subset of R bounded from above.

http://t.co/dG0QxXx