On 10 Dez., 01:02, fom <fomJ...@nyms.net> wrote: > On 12/9/2012 12:30 PM, WM wrote: > > > On 9 Dez., 17:24, fom <fomJ...@nyms.net> wrote: > >> On 12/9/2012 3:20 AM, WM wrote: > > <snip> > > >> So, why is there no global axiom of choice? > > > As far as I am informed, *the* axiom of choice is global. There is no > > exception. Zermelo proved: Every set can be well-ordered. > > The axiom of choice only applies to sets within > a given model.
Zermelo proved that every set can be well-ordered - without mentioning any model. My interest is solely the set of real numbers. It is covered by Zermelo's proof.