Virgil
Posts:
8,833
Registered:
1/6/11


Re: � 454 Equality and the axioms of natural numbers
Posted:
Mar 20, 2014 8:08 PM


In article <4bJWu.19896$x%2.3254@fx02.iad>, "Dan Christensen" <Dan_Christensen@sympatico.ca> wrote:
> Then let us know whether pi is a natural number  from the Peano axioms > which, according to you, "fully capture the common intuition of the natural > numbers".
First give us your definition of pi.
I suspect that your definition will clash with the Peano axioms using either 0 or 1 as the nonsuccessor natural and x + 1 as successor of x 

