|
|
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 3:13 AM
|
|
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
|
|