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