
Re: This is False. 0/0 {x  x ~e x} e {x  x ~e x} A single Principle to Resolve Several Paradoxes
Posted:
Feb 5, 2013 7:35 AM


On Feb 4, 3:13 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > On Feb 4, 2:19 pm, CharlieBoo <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/EXCONTRADICTIONESEQUITURQUODLIBET.png > > Herc > www.BLoCKPROLOG.com
I can prove everything? Not necessarily. There are parts of my software that have bugs, but the rest is ok. If there is no direct connection between them then the other system may be consistent. That means the part of your logic that produces w ^ ~w does not participate in rules with the ok part. One is a telephone answering machine and the other is a program that plays video files.
CB

