Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 223: AC and AMS
Replies: 102   Last Post: Apr 18, 2013 12:26 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 223: AC and AMS
Posted: Mar 16, 2013 6:23 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 16 Mrz., 00:45, fom <fomJ...@nyms.net> wrote:
> > On 3/15/2013 2:44 PM, WM wrote:
> >
> >
> >
> >
> >

> > > On 15 Mrz., 20:17, fom <fomJ...@nyms.net> wrote:
> > >> On 3/15/2013 3:20 AM, WM wrote:
> >
> > >>> On 14 Mrz., 23:54, fom <fomJ...@nyms.net> wrote:
> >
> > >>>> Unless my translation is in error, Zermelo's
> > >>>> 1908 supports urelements.

> >
> > >>> Zermelo says (in your translation on p. 210, 3rd line): If T is a set
> > >>> whose elements M, N, R, ... all are sets different from the null
> > >>> set, ...

> >
> > >> That is Zermelo's description of the
> > >> axiom of choice.

> >
> > > T is the domain, the set which Zermelo uses to demonstrate his
> > > intention of the axiom of choice.

> >
> > No. T is an object of the domain Zermelo
> > describes in the beginning of the paper.

>
> Your art of interpreting words is not in question here. We talked
> about the axiom of choice and Zermelo's explication of it.
>
> You said: an element of T is not a set

What FOM said was that Zermelo did not require every member of every set
to be a set. A statement which WM has yet to be able to falsify.

> Zermelo said: T is a set whose elements M, N, R, are sets.

It is quite possible for one set to have all its members sets but other
sets not to, so the above does not prohibit ur-elements in sets.
>
> So you were wrong.

No! WM is wrong to say FOM is wrong,
since FOM did not say that any particular T had to contain an ur-element.
--

Date Subject Author
3/14/13 Alan Smaill
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 Virgil
3/14/13 fom
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 fom
3/14/13 mueckenh@rz.fh-augsburg.de
3/14/13 fom
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 fom
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 Virgil
3/15/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom
3/17/13 Virgil
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 Virgil
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 fom
3/19/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 fom
3/19/13 Virgil
3/19/13 fom
3/19/13 Virgil
3/19/13 Virgil
4/17/13 Virgil
3/18/13 Virgil
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 Virgil
3/19/13 fom
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/18/13 fom
3/19/13 mueckenh@rz.fh-augsburg.de
3/19/13 Virgil
3/19/13 fom
4/17/13 Virgil
4/18/13 fom
3/18/13 Virgil
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/18/13 Virgil
3/18/13 Virgil
3/16/13 Virgil
3/16/13 Virgil
3/17/13 fom
3/15/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/15/13 Virgil
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 Virgil
3/15/13 fom
3/15/13 fom
3/15/13 Virgil
3/15/13 fom
3/16/13 Virgil
3/14/13 Virgil
3/14/13 Virgil
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 fom