Gallian: is it true that the well-ordering principle can't be proven from properties of arithmetic? I just started reading Gallian's Abstract algebra and on page 3 it says "An important property of the integers...is the so-called Well Ordering Principle. Since this property cannot be proved from the usual properties of arithmetic, we will take it as an axiom". [my emphasis]
My question is, how can one (in this case the author) be so sure that the Well Ordering Principle cannot be proved from the properties of arithmetic. Is it possible to prove statements like this (i.e. the one in italics above). If so, what would a proof look like?

Of course the well-ordering principle can be proved for the natural numbers in standard set theory, and you can find a proof with google. 

If so, what would a proof look like?

Usually one uses set theory to prove induction, and then induction to prove well-ordering of $\Bbb N$.
I guess it depends on what the "properties of arithmetic" are that he refers to. If they are just the ring axioms for $\Bbb Z$, then yeah, that is not enough to prove well ordering of $\Bbb N$. Maybe Gallian just doesn't want to go so far afield into set theory, so he takes it as an axiom.
