Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Theories in maths which do not use the axiom of choice.

  1. Aug 30, 2006 #1
    i read that there are some logicians who do not use the axiom of choice in their axioms systems. i wonder what is the math that isn't using the axiom of choice, or what thoeries do not use it?
  2. jcsd
  3. Aug 30, 2006 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    A lot of theories do not use the axiom of choice. Pretty much any discrete mathematics (i.e. with finite sets only) won't use it. Most of real analysis has no need to invoke the axiom of choice. Most algebra gets by without needing the axiom of choice to be invoked. You don't really ever need an algebraic closure of anything, for instance: start with a ground field, decide what polys you need to have roots, this will normally only be a finite number, and add in the roots accordingly. The vast majority of algebra only ever deals in finite dimensional vector spaces.

    Incidentally, it is not just logicians who chose to use or ignore the axiom of choice specifically. Completely unjustified statistic alert: you can probably get by doing 99% of maths without ever needing to invoke the axiom of choice.
  4. Aug 31, 2006 #3
    i should have been clearer, i meant theories of sets which do not use AC.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Theories in maths which do not use the axiom of choice.
  1. Axiom of choice (Replies: 3)

  2. Axiom of Choice (Replies: 17)

  3. The Axiom of Choice? (Replies: 11)

  4. The Axiom of Choice (Replies: 8)