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.

?