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 <> 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?