Date: Feb 4, 2013 3:13 AM
Author: Graham Cooper
Subject: Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle<br> to Resolve Several Paradoxes

On Feb 4, 2:19 pm, Charlie-Boo <shymath...@gmail.com> wrote:
> If wffs are built on relations then { x | x ~e x } is not a wff
> because ~e is not a relation.
>
> We don?t need ZF - at all.  All we need is Naïve Set Theory, a
> complete formal definition of wff and recognition that x ~e x is not a
> relation due to diagonalization on sets.
>
>


You do know what happens when you get a contradiction in your theory?

http://blockprolog.com/EX-CONTRADICTIONE-SEQUITUR-QUODLIBET.png


Herc
--
www.BLoCKPROLOG.com