Date: Feb 21, 2013 8:57 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<84b0d05d-6779-49fe-8f87-0b4bf89cb7d1@n2g2000yqg.googlegroups.com>,
William Hughes <wpihughes@gmail.com> wrote:

> So
>
>
>     A) For every natural number n, P(n) is true.
>
>       implies
>
> B) For any n: There does not exist a natural number
> between 1 and n such that P(n) is false
>
> However, we cannot conclude
>
> B') There does not exist a natural number
> m such that P(m) is false



While WM may not be able to conclude B' from A, his inability does not
disable anyone else.
--