Date: Dec 10, 2012 3:43 PM
Subject: Re: fom - 01 - preface
WM <email@example.com> wrote:
> 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.
Does WM claim that Zermelo's "proof" must hold in every model, that it
is somehow universal?
> Regards, WM