Date: Apr 6, 2013 1:53 PM
Author: namducnguyen
Subject: Re: Matheology § 224

On 06/04/2013 11:38 AM, WM wrote:
> On 6 Apr., 19:23, Nam Nguyen <namducngu...@shaw.ca> wrote:

>>
>> In details:
>>
>> We do have the logical equivalence:
>>
>> ~Ax[P(x)] <-> Ex[~P(x)]
>>
>> But we don't have this equivalence:
>>
>> ~P(SS.....S0) <-> Ex[~P(x)].
>>
>> Right?

>
> No. Unless SS...S0 is fixed it is the same as x for x in |N. Different
> notation does not make different meaning.

>>

It was just unclear to you. In my presentation above SS.....S0 is
a _fixed_ constant, _not_ a variable.

For example, let's define P(x) as:

P(x) <-> Ay[~(S(y)=x)]

Please prove, if you can, the perceived logical equivalence:

P(0) <-> Ex[P(x)]

--
----------------------------------------------------
There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI
----------------------------------------------------