Date: Jan 31, 2013 4:53 AM
Subject: Re: ZFC and God
WM <firstname.lastname@example.org> wrote:
> On 31 Jan., 01:51, Virgil <vir...@ligriv.com> wrote:
> > > > > > Does every rational have a decimal expansion?
> > > > > No. For instance 1/9 = 0.111... has no decimal expansion
> > > > You just gave it one.
> > > No. I know, it is very unfamiliar, but it is fact: "0.111..." is not a
> > > decimal expansion. For instance, because decimal expansions by
> > > definition have only one point. 0.111...
> > Finite and infinite decimals have only one decimal point, but the
> > ellipsis "..." is not a decimal point,
> I did not say "decimal point" but only "point".
Even so, the ellipsis '' is not a point, but an abbreviation for "and
> > but is a standard abbreviation
> > for either "and so on until" if followed by an end value or "and so on
> > without end" if not followed by an end value.
> Please write this decimal expansions without an abbreviation. The
> present form only shows potential infinity, namely for "every" n d_n =
Seems actual enough to me.