ZF Set Theory and Law of the Excluded Middle

[HJ Farnsworth]

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

 

[HJ Farnsworth]

Hello,

I asked this question on math stack exchange as well, it is answered there (or, as of this post, in the process of being answered at least). For anyone who wants to see it, here is the link:

http://math.stackexchange.com/quest...dle/970593?noredirect=1#comment1991468_970593.

Thanks.