```Date: Jan 24, 2013 8:46 AM
Author: Jesse F. Hughes
Subject: Re: ZFC and God

WM <mueckenh@rz.fh-augsburg.de> writes:> On 24 Jan., 13:56, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:>> "Jesse F. Hughes" <je...@phiwumbda.org> writes:>>>> > Yes, but let's be perfectly clear here.  What we have now is this:>>>> >   a function t: N -> R such that, for all i in N, t(i) is a real>> >   number with terminating decimal representation.  We'll write this as>> >   t_i and we'll write t_i(j) for the j'th digit of t_i (in its>> >   terminating representation, which is, of course, unique).>>>> >   Let d in R be defined by>>>> >     d(j) = 7 if t_j(j) != 7>> >     d(j) = 6 if t_j(j) = 6.>>>>                            ^ Should be 7, of course.>>>>>>>> >   Clearly, for all j, d(j) != t_j(j) and hence d != t_j for any j in>> >   N.>>>> > Is this what you mean up 'til now?>>>> So, for instance, take the obvious enumeration of finite decimal>> representations (in [0,1), of course)>>>> 0.0>> 0.1>> 0.2>> 0.3>> 0.4>> 0.5>> 0.6>> 0.7>> 0.8>> 0.9>> 0.11>> 0.12>> ...>>>> Clearly, t_i(i) = 0 for every i, and hence d_i = 7 for every i.  Thus,>> d = 0.777..., which is a number without any finite decimal>> representation.>> As long as the line has a finite enumeration, also the column has.  In> t_j(j) the first j is identical with the second j. And both belong to> a FIS of lines and columns, respectively. This holds for every j.Once again, I've no idea what point you're trying to make here.Let's start simply.  Take the above list and the previously stateddefinition of d.  Do you agree or deny that d = 0.777... per thatdefinition?Second, can you please state what precise claim you're trying to makewhen you write "As long as the line has a finite enumeration, also thecolumn has?"  I haven't a clue.  It would be swell if you could write it in more or less set-theoreticterms, since, after all, you are allegedly providing a proof in ZF.Thanks much.  -- "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 cin C that is not in A nevertheless is a b in B."                   -- Wolfgang Meuckenheim, an actual professor
```