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

----------------------------------------------------