In article <email@example.com>, fom <fomJUNK@nyms.net> wrote:
> On 2/27/2014 3:03 PM, Virgil wrote: > > In article <firstname.lastname@example.org>, > > email@example.com wrote: > > > >> My book gives the correct axioms. > >> > >>> For over a century now, I think Peano's axioms have been the standard, > >> > >> Like Cantor's nonsense. Where do they define that the difference must > >> always > >> be 1? > > > > They don't. They only requires that each member of a Peano set have a > > unique successor member, but do not require any specific 'difference' up > > front. > > It is only later, after all the basic axioms are satisfied, when > > defining addition that any "1" appears. > > > > That is actually problematic.