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