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.