"Alan Smaill" <smaill@SPAMinf.ed.ac.uk> wrote in message news:email@example.com... > "Julio Di Egidio" <firstname.lastname@example.org> writes: >> "fom" <fomJUNK@nyms.net> wrote in message >> news:C6KdnZCccIjltVzMnZ2dnUVZ_t6dnZ2d@giganews.com... >> >>> "Numbers count themselves" >> >> Indeed, how else? > > What does pi count? > Isn't it a number?
pi counts pi, of course...
>> I am in fact surprised a "foundationalist" would >> ever have any doubt with that. > > Since no natural number counts the set of natural numbers, there > is every reason to be sceptical of simplistic formulations such as above.
It's indeed simplistic, to the point of meaninglessness, when taken out of context. It was in fact part of a discussion that is beyond just the present thread, about (as I'd put it) arithmetical foundations from the natural/counting numbers. There, informally speaking, "1 is the first, 2 is the second, and so on, and it cannot be otherwise".
That said, that point was just in the background: my actual question (I won't repeat it in detail) was as "simple" as: what about lambda = [0, lambda) vs. [1, lambda] (or, I think equivalently, [0, lambda]).