Date: Jun 17, 2013 5:32 PM
Author: Virgil
Subject: Re: Matheology � 291

In article <>,
Zeit Geist <> wrote:

> > > Why are you talking about the well-ordering of the reals?

> >
> > Because it is the most famous example. It can be "proved" in ZFC

But not in ZF. Which is why many mathematicians and logicians are a bit
cautious with C.

But in WMytheology, WM continually claims that limits of strictly
increasing sequences are members of the sequence, which can NOT happen
in either ZF or ZFC.

Given that, any sensible person will prefer ZF to WMytheology, and even
ZFC to WMytheology.