|
|
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, 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
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.
C-B
|
|
