Results 1 to 3 of 3

Math Help - Pair set axiom

  1. #1
    Junior Member
    Joined
    Oct 2008
    From
    Dallas, TX
    Posts
    71

    Pair set axiom

    Given the following set: x = {{a, b, c,d}, {1,2}}
    y = {d, {f,g}}

    What set does the Pair Set Axiom state the existence of?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2006
    Posts
    71
    Quote Originally Posted by aaronrj View Post
    Given the following set: x = {{a, b, c,d}, {1,2}}
    y = {d, {f,g}}

    What set does the Pair Set Axiom state the existence of?
    The contents of sets x and y really have no role to play in an application of the pairing axiom to x and y.
    Ultimately, what you want from pairing is a guarantee of the existence of a unique set that contains exactly x and y as members (nothing else).
    How much work you have to do to get it, after application of pairing, depends on the form of the axiom.
    The typical strong form will require only an application of extensionality.
    The typical weak form will require an additional step prior to applying extensionality.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2010
    Posts
    7
    Well, the version of the Pairs axiom I was always taught goes as follows;
    \forall x \forall y \exists z \forall w (w \in z \longleftrightarrow w = x \vee w = y)
    Informally, this says that given sets x and y, we have a set z containing only x and y as elements. So, in your case, the Pairs axiom guarantees us the existence of the set \{x,y\} = \{ \{\{a,b,c,d\},\{1,2\}\}, \{d,\{f,g\}\} \} - hope this helps, let me know if there's anything you don't get!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Two-Pair probability
    Posted in the Statistics Forum
    Replies: 7
    Last Post: July 5th 2011, 08:04 PM
  2. Probability of Two Pair
    Posted in the Statistics Forum
    Replies: 5
    Last Post: April 10th 2011, 11:47 AM
  3. Angle Pair
    Posted in the Geometry Forum
    Replies: 1
    Last Post: September 5th 2010, 08:28 PM
  4. Pair
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: May 1st 2010, 09:02 AM
  5. Ordered Pair
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: September 9th 2009, 03:17 PM

Search Tags


/mathhelpforum @mathhelpforum