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