Alberto wrote in message <37CFE16B.31FB2747@usb.ve>...
>
>
>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.


Prove that 2 is the successor to 1.

Mark

Post a reply to this message