On Friday, 28 February 2014 08:00:03 UTC+1, Virgil wrote: > In article <firstname.lastname@example.org>, fom <fomJUNK@nyms.net> >
> > > > It is only later, after all the basic axioms are satisfied, when > > > > defining addition that any "1" appears. > > > > > > > > > > That is actually problematic. > > > > NOT in the Peano axioms.
And not in your head, Virgil. You accept individually undefinable "real" numbers and axioms that are defining the natural numbers without defining 1. We all know that. You need not emphasize it again and again.