Date: Jan 28, 2013 4:16 AM
Subject: Re: Matheology § 201
On 28 Jan., 09:58, William Hughes <wpihug...@gmail.com> wrote:
> i and ii. cannot be true at the same time.
> i. true implies ii. false
> 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.
But if not all n are existing, then we cannot stae P(n) for all n.