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

In article <eae65b38-4c18-4036-87e3-fc7a012dcfed@l13g2000yqe.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:> On 24 Jan., 14:46, "Jesse F. Hughes" <je...@phiwumbda.org> 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 decimalIf 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!--
```