Results 1 to 3 of 3

Math Help - EVERY vs. ALL in set theory

  1. #1
    BDV
    BDV is offline
    Newbie
    Joined
    Jan 2010
    Posts
    1

    EVERY vs. ALL in set theory

    I have had a tough time understanding the reasoning of axiomatic set theory. I suspect that one of the reasons is that in my mind ALL is equated with EVERY, and that for infinite elements that is inappropriate.

    IN particular, I have a tough time figuring how the Axiom of choice is independent of the axiom of subsets, sum Set, and of replacement.

    Anybody can point me to an author / resource that takes the time to go over the delicacies of working with infinite arguments?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,966
    Thanks
    1785
    Awards
    1
    This site has a number of good links on AC.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785
    One of the tenets of intuitionism is rejection of -- I forgot the terms -- actual (?) infinity and accepting infinity only in the sense that one can generate any finite number of elements. You can read about this in Wikipedia or Standford Encyclopedia of Philosophy.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Textbooks on Galois Theory and Algebraic Number Theory
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 8th 2011, 07:09 PM
  2. Group Theory - Sylow Theory and simple groups
    Posted in the Advanced Algebra Forum
    Replies: 16
    Last Post: May 16th 2009, 12:10 PM
  3. Problems relating Theory of Automata (Computer Theory)
    Posted in the Advanced Math Topics Forum
    Replies: 0
    Last Post: October 17th 2007, 10:52 AM
  4. Set Theory
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 1st 2007, 07:57 PM
  5. Set Theory
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 27th 2007, 10:22 AM

Search Tags


/mathhelpforum @mathhelpforum