Re: Cantor's diagonal proof wrong?

From: Paul Holbach (paulholbachSPAMBAN_at_freenet.de)
Date: 11/20/04


Date: 19 Nov 2004 17:44:51 -0800


> Chris Menzel <cmenzel@remove-this.tamu.edu> wrote in message news:<
> slrncpp4ms.2u4.cmenzel@philebus.tamu.edu>...
> > On 17 Nov 2004 20:06:50 -0800, Ross A. Finlayson <raf@tiki-lounge.com>
> > said:

> > There are some fundamental assumptions: that there is anything,

 
> If you mean: that there is something, then that is a basic theorem of
> logic.

... of classical logic, not of free logic.

Regards
PH