In article <8915ce43-f582-4e69-9cae-63ccd7624142@r4g2000vbi.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 4 Jan., 01:35, fom <fomJ...@nyms.net> wrote: > > > Dedekind cuts define all reals. > > Every cut is defined by a finite word. The set of definable cuts is > the set of cuts and is countable. > > > Cantor fundamental sequences define all reals. > > No infinite definition defines anything. > > > You may, as WM does, deny uses of a completed infinity. > > I do not deny it, but show that it is self-contradictory.