Why is the Russell Paradox necessary?



In ordinary set theory, in which Russell's Paradox is used
to show that assuming the existence of a set of all sets
leads to that paradox, ie. a contradiction, I wonder why
the Russell Paradox method is necessary.

We know that the cardinality of the set of all subsets of a
given set is greater than the cardinality of the given set.
But if we assume the existence of a set of all sets, by
definition it contains all of its subsets. Therefore the
cardinality of the set of all subsets of the set of all sets
cannot be greater than the cardinality of the set of all
sets, which is a violation of what we know about
cardinality. Hence there is no set of all sets.

.



Relevant Pages

  • Re: Why is the Russell Paradox necessary?
    ... the Russell Paradox method is necessary. ... given set is greater than the cardinality of the given set. ... But if we assume the existence of a set of all sets, ... Russell studied that proof, and *simplified* it to the one-line ...
    (sci.math)
  • Re: The Smullyan paradox
    ... This paradox only arises if we insist that there is absolute truth, ... T1 proves the existence of a positive number A with an explicit ... T2 are inconsistent theories (by the NAFL yardstick). ... NAFL requires that each of the disjuncts in or can ...
    (sci.logic)
  • Re: Skolems Paradox
    ... > Here's an explanation of the paradox ... > uncountable set is countable - in my world ... GET A DECENT LOGIC BOOK. ... despite the fact that they prove the existence ...
    (sci.logic)
  • Re: Moore on Skolems Paradox
    ... Ullrich: ... existence of certain models of set theory, ... > He doesn't use the word "paradox" in the paragraph above. ... such relativism, compelling though it is, is subject to the by now ...
    (sci.logic)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... :>: It is obvious what cardinality means, and it is not a definite thing, ... :>: paradox this is your problem. ... : completely freely in mathematics. ... idea of size and infinity this seems intuitive. ...
    (comp.theory)