Math Help - Set of All Sets (Russel's) Paradox

1. Set of All Sets (Russel's) Paradox

Set of all sets (Russel’s) paradox is not a paradox because there is no such thing as the set of all sets.

Proof: Let A, B be sets. Then C={A,B,C} is not a set because it is undefined (circular definition).

2. Re: Set of All Sets (Russel's) Paradox

Why can't there exist a set containing all sets? The definition of set under the Cantor definition is a set is a collection of distinct objects.

Russells paradox says if R is a set containing all sets which are not members of themselves. Then R is also included in this set, For R contains sets which are not members of themselves.

At the same time, R is a member of itself.

3. Re: Set of All Sets (Russel's) Paradox

Originally Posted by Hartlw
Proof: Let A, B be sets. Then C={A,B,C} is not a set because it is undefined (circular definition).
What does this proof have to do with the set of all sets?

4. Re: Set of All Sets (Russel's) Paradox

Originally Posted by emakarov
What does this proof have to do with the set of all sets?
C={A,C} → C={A, {A,C}} → C={A, {A, {A, {A,C}}}} →………
There is no such thing as the set C (circular definition).

Another point of view. (ϵ’ means does not belong to)

if R = {x│x ϵ’ x } then R ϵ R <-> R ϵ’ R (wiki)

This is not a Paradox because (Theorem) there is no such thing as R ϵ R.
Proof: Rmember ϵ Rset implies R unequal to R.

6. Re: Set of All Sets (Russel's) Paradox

Originally Posted by Hartlw
C={A,C} → C={A, {A,C}} → C={A, {A, {A, {A,C}}}} →………
There is no such thing as the set C (circular definition).
Please give us the axioms for set theory you think you are using so we can see for ourselves that your circular definition is excluded.

.

7. Re: Set of All Sets (Russel's) Paradox

Originally Posted by zzephod
Please give us the axioms for set theory you think you are using so we can see for ourselves that your circular definition is excluded.

.
Axiom: You can’t define something in terms of itself.

If that doesn’t satisfy you, and you accept C={A,C} as a legitimate set, I suggest you substitute the set C={A,C} into the various systems of Axiomatic set theory (which don’t define set) and if you find an inconsistency you may wish to revise that particular axiom. If you don’t find an inconsistency, which I suspect you won’t since the axioms are aware of Russels Paradox, then the only conclusion you can come to is that the axiomatic set has to be revised to reject Russel’s paradox.

Russel published his “Paradox” shortly after Frege published his Foundations of Arithmetic, violating one of Frege’s axioms, which he subsequently revised to account for it. If MHF and this thread were around at the time, he could have saved himself the trouble:
Patrick Suppes Axiomatic Set Theory, pg 5. Dover, 1972

EDIT: If you don't accept the axiom of definition, I can suggest a few books on logic for you to work through.

8. Re: Set of All Sets (Russel's) Paradox

Originally Posted by Hartlw
Axiom: You can’t define something in terms of itself. ...
Is that a theorem of ZF?

.

9. Re: Set of All Sets (Russel's) Paradox

If you can't define something in terms of it self, then recursive functions wouldn't be well defined. The natural numbers wouldn't exist. So wouldn't alot of other things in mathematics.

10. Re: Set of All Sets (Russel's) Paradox

Originally Posted by jakncoke
If you can't define something in terms of it self, then recursive functions wouldn't be well defined. The natural numbers wouldn't exist. So wouldn't alot of other things in mathematics.
In a recursive function you define something new in terms of something that exists. Given x(n), you define x(n+1). You don’t define xn in terms of xn.