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

ZF Set Theory and Law of the Excluded Middle

  1. Oct 11, 2014 #1
    Hello,

    I know that the law of the excluded middle is implied in ZFC set theory, since it is implied by the axiom of choice. Taking away the axiom of choice, does ZF set theory (with axioms as stated in the Wikipedia article http://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory), imply the law of the excluded middle [for infinite sets]?

    If LEM does follow from ZF, could you please provide the proof if you know it, or point me to the proof if you know where it is, or tell me what ZF axioms it follows from if you don't know of theproof or its location?

    Thanks very much.

    -HJ Farnsworth
     
  2. jcsd
  3. Oct 12, 2014 #2
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: ZF Set Theory and Law of the Excluded Middle
Loading...