In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 25 Jan., 20:13, Virgil <vir...@ligriv.com> wrote: > > > > > > If you cannot understand that, > > > > > perhaps a formal argument may help: Assume that we are restricted to > > > > > the well-defined set of terminating decimals. > > > > Whyever assume that? > > Why not?
No need! > > > > > > > If you see any evidence > > > > > that we should leave that domain, say "stop!". > > > > Stop! > > Which index have you discovered that requires stopping?
It is the lack of any such index that requires dropping your assumption of termination. --