Date: Jan 28, 2013 4:16 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 201

On 28 Jan., 09:58, William Hughes <wpihug...@gmail.com> wrote:

>
> Either
>
>    i and ii. cannot be true at the same time.
>    i. true implies ii. false
>
>    or
>
>    It is not know that  i. and ii. cannot be
>    true at the same time
>
>    i. true does not imply ii. false
>
> Are you claiming that it is not known that i.
> and ii. cannot be true at the same time


For every n: P(n) = there are many m>n following upon n.
If there ar all n existing, and for every n, P(n) can only be true or
false, then we have:
There is no n such that ~P(n) = no m>n is following upon n.
But then we can conclude for all n, P(n) there are many m > n
following upon all n.
And that is wrong.

Regards, WM

But if not all n are existing, then we cannot stae P(n) for all n.