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. --
