Page 2 of 2 FirstFirst 12
Results 16 to 19 of 19

Math Help - This is making me go 1N54N3!!

  1. #16
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Are you saying the the set of all finite sets fails to satisfy ZF axioms?
    Follow Math Help Forum on Facebook and Google+

  2. #17
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    Are you saying the the set of all finite sets fails to satisfy ZF axioms?
    No, but I can proove it from what I did say.

    RonL
    Follow Math Help Forum on Facebook and Google+

  3. #18
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by CaptainBlack
    No, but I can proove it from what I did say.

    RonL
    Is the proof simple because all I know about set theory is from wikipedia so you would have to keep it simple.
    Follow Math Help Forum on Facebook and Google+

  4. #19
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    Is the proof simple because all I know about set theory is from wikipedia so you would have to keep it simple.
    Let S denote the "set of all sets", then there is a one-to-one mapping from
    S into S1 the "set of all sets with one element", namely the map f which takes
    s in S to {s} in S1. Now consider S1'=f(S). Then the map f is one-to-one and
    onto form S to S1'.

    Now f is also a one-to-one map from the power set P(S) of S onto the Power
    Set of P(S1') of S1'. But if S1 is a set so is S1' as it is a subset of S1, so the
    cardinality of P(S1') is strictly greater than the cardinality of S1'. But this
    would imply that the cardinality of P(S) is strictly greater than that of S, but
    its not so it aint.

    RonL
    Follow Math Help Forum on Facebook and Google+

Page 2 of 2 FirstFirst 12

Similar Math Help Forum Discussions

  1. Making r the subject
    Posted in the Algebra Forum
    Replies: 5
    Last Post: September 28th 2009, 03:29 PM
  2. Making a PDF
    Posted in the LaTeX Help Forum
    Replies: 3
    Last Post: September 23rd 2008, 08:14 AM
  3. Making sence of this?
    Posted in the Math Software Forum
    Replies: 0
    Last Post: September 1st 2008, 08:18 AM
  4. Making an equation.
    Posted in the Pre-Calculus Forum
    Replies: 1
    Last Post: February 17th 2008, 11:35 AM
  5. Just making sure
    Posted in the Algebra Forum
    Replies: 1
    Last Post: January 2nd 2008, 09:03 AM

Search Tags


/mathhelpforum @mathhelpforum