Date: Feb 23, 2013 4:59 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

On Feb 23, 12:03 am, William Hughes <wpihug...@gmail.com> wrote:
> Does
>
> For every natural number n, P(n)
> is true.
>
> imply
>
> There is no natural number m such
> that P(m) is false.


Does

There is a line, l, of L
such that l has property P

imply

There exists a natural number
m such that the mth line of L
has property P.

?