Alberto wrote:
>
> Alexander Enzmann wrote:
>
> > No - the Peano axioms don't require any numbers to start with. Only a
> > thing and the concept of a successor of that thing. Standard formal
> > logic stuff. Of course it takes Bertrand Russel a couple of hundred
> > pages in his Principles of Mathematics to get to the point that you can
> > show that 1 + 1 = 2.
> >
> > Xander
>
> I doubt it. 2 is the successor of 1 and the equation
>
> 1 + 1 = 2
>
> is a symbolic way to state this fact.
You doubt that the Peano axioms don't require numbers or that Russel
takes a long bit of analysis before getting to ordinal numbers? In
either case you'd be off the mark.
Xander
Post a reply to this message
|