
Re: § 454 Equality and the axioms of natural numb ers
Posted:
Mar 21, 2014 2:41 AM


On Thursday, 20 March 2014 22:35:55 UTC+1, Dan Christensen wrote:
> The real numbers can also be constructed from Peano's axioms.
That was not the question.
> It should be > possible to prove than no irrational number is equal to a natural number.
That was not the question.
The question was: If the five truncated Peano axioms, not more and not less, define the natural numbers, as you said, what part of the axioms excluded that pi is a natural number?
Can you understand this piece of written text? Don't hesitate to ask if there is anything unclear.
Regards, WM

