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 confidenceevery time a contradiction occurs in my theory.