Date: Jan 24, 2013 4:28 PM
Author: Virgil
Subject: Re: ZFC and God

In article 
WM <> wrote:

> On 24 Jan., 14:46, "Jesse F. Hughes" <> wrote:

> > It would be swell if you could write it in more or less set-theoretic
> > terms, since, after all, you are allegedly providing a proof in ZF.
> >
> > Thanks much.

> A last approach to support your understanding:
> Define the set of all terminating decimals 0 =< x =< 1 in ZF.
> Do all that you want to do (with respect to diagonalization).
> Stop as soon as you encounter a non-terminating decimal

If WM wants that done. let him do it himself.

Like a lazy, or incompetent, professor, WM tries to assign to others
what he is too lazy, or too incompetent, to do himself.
> > --
> > "Do you know some logic? Please apply it.
> > If all a in A also are b in B, then it is not excluded that also a c
> > in C that is not in A nevertheless is a b in B."
> >                    -- Wolfgang Meuckenheim, an actual professor-

> First, my name is Mueckenheim!

Nothing to be proud of!