1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Question about the axioms of set theory

  1. Jan 25, 2016 #1
    1. The problem statement, all variables and given/known data
    For each structure, draw a directed graph representing the membership relation. Then determine which of the following axioms is satisfied by the structure: Extensionality, Foundation, Pairing, Union
    U= {a,b} a in b , and b in a

    3. The attempt at a solution
    The directed graph would be an arrow from a to b and then an arrow from b to a.
    This fails foundation because a cant be in b and b cant be in a.
    It satisfies Extensionality because a is a member of b and vice versa.
    it satisfies pairing and union

  2. jcsd
  3. Jan 27, 2016 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    I agree with your conclusions, but your justification of them is very terse and doesn't make it clear how the axioms that fail do so. Hence it may not get full marks from the lecturer. I would suggest writing out the justifications more fully, in symbolic form rather than prose. In particular, justifying that Pairing is not violated takes several steps, as you need to show that the set {a} is part of the structure.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted