Re: Coming soon -- new proof checking software

[EMAIL PROTECTED] (Dan Christensen) wrote
> [EMAIL PROTECTED] (Charlie-Boo) wrote
> > "Dan Christensen" <[EMAIL PROTECTED]> wrote

> > ZF and various other axiomitizations of set theory attempt to define
> > sets in a way that that meets these two needs (completeness without
> > contradiction.)  Do you really have a solution to that problem?
> 
> I'm not sure. Maybe.
> 
> Dan

Then how do you define which sets exist and how do you avoid contradiction?

Charlie Volkstorf