1.Previous
3.Next

is the non-negative natural number (viz. ), the statement
:is logically equivalent to the statement
:The former statement says that if x is less than any natural number, then x is less than zero. The latter statement says that there exists some natural number n such that if x is less than n, then x is less than zero. Both statements are true. The former statement is true because if x is less than any natural number, it must be less than the smallest

1.Previous
3.Next