The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: I Bet $25 to your $1 (PayPal) That You Can’t P
rove Naive Set Theory Inconsistent

Replies: 7   Last Post: Feb 18, 2013 1:48 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 1,635
Registered: 2/27/06
Re: I Bet $25 to your $1 (PayPal) That You Can’t P
rove Naive Set Theory Inconsistent

Posted: Feb 17, 2013 10:14 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Feb 17, 8:36 pm, Jeff Barnett <> wrote:
> Graham Cooper wrote, On 2/17/2013 4:07 PM:

> > Is any definable collection a set?
> > That is the usual meaning of Naive Set Theory.
> I suggest we don't need your definition. The world (99%) tells the
> student to consult "Naive Set Theory," Paul R. Halmos (1960) D. von
> Nostrand. For the rest (1%) the term means ZF sans Choice and Continuum.
> Why would you think of tossing your definition out here? And why Prolog
> at all? Speak the common language.
> --
> Jeff Barnett

That was 60 years later. Russell wrote to Gottlob Frege with news of
his paradox on June 16, 1902. The paradox was of significance to
Frege's logical work since, in effect, it showed that the axioms Frege
was using to formalize his logic were inconsistent. Specifically,
Frege's Rule V, which states that two sets are equal if and only if
their corresponding functions coincide in values for all possible
arguments, requires that an expression such as f(x) be considered both
a function of the argument x and a function of the argument f. In
effect, it was this ambiguity that allowed Russell to construct R in
such a way that it could both be and not be a member of itself.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.