Date: Feb 21, 2013 8:57 PM
Subject: Re: Matheology � 222 Back to the roots
William Hughes <firstname.lastname@example.org> wrote:
> A) For every natural number n, P(n) is true.
> 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.