I am reading Ethan D. Bloch's book: The Real Numbers and Real Analysis ...(adsbygoogle = window.adsbygoogle || []).push({});

I am currently focused on Chapter 1: Construction of the Real Numbers ...

I need help/clarification with an aspect of Theorem 1.3.7 ...

Theorem 1.3.7 and the start of the proof reads as follows:

n the above proof we read the following:

" ... ... By Part (a) of the Peano Postulates we know that ##p \ne 1##. ... ... "

Can someone please explain exactly how the Peano Postulate (a) implies that ##p \ne 1## ... ?

Help will be much appreciated ...

Peter

Readers of the above question may well be helped by access to Bloch's definition of the integers as well as Bloch's theorem on the algebraic properties of the integers ... so I am providing both as follows:

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I The Set of Positive Integers - a Copy of the Natural Numbers

Have something to add?

Draft saved
Draft deleted

**Physics Forums | Science Articles, Homework Help, Discussion**