Date: Jan 24, 2013 11:32 AM
Subject: Re: ZFC and God

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
> --

> "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!
Second, do you disagree with what you quote?
If so, you stop for a while and try to recover.

Regards, WM