In article <email@example.com>, WM <firstname.lastname@example.org> 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 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!