Date: Jul 6, 2013 7:29 PM
Author: Graham Cooper
Subject: Re: Real-world example of the liar paradox

On Sunday, July 7, 2013 7:43:13 AM UTC+10, Spac...@hotmail.com wrote:
> Russel's paradox is nothing,
>
> but a lack of proper verbal tensing



Granted...

The Set of all sets
that don't contain themselves
barring that set itself

is a proper definition of a set.

R = { X | ~XeX & ~X=R }



so what do we do... enforce the 'NAME =' ??

so self reference is explicit?


Herc
--
http://phpprolog.com/demos/pp12.png