|
|
Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle
to Resolve Several Paradoxes
Posted:
Feb 4, 2013 9:50 AM
|
|
On Feb 4, 3:13 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
> 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?
I know exactly what happens with complete accuracy and confidence
every time a contradiction occurs in my theory.
C-B
> http://blockprolog.com/EX-CONTRADICTIONE-SEQUITUR-QUODLIBET.png
>
> Herc
> --www.BLoCKPROLOG.com
|
|
