« Section 3.3: A Subtheory of Number Theory

Section 3.3: Problem 2 Solution »

Section 3.3: Problem 1 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Show that in the structure we can define the addition relation . Conclude that in this structure , the ordering relation , and the successor relation are definable. (Remark: This result can be strengthened by replacing the structure by simply . The multiplication relation is definable here, by exploiting one of the laws of exponents: .)
, and in (in fact, in ) we can define , and (see Exercise 2 of Section 3.2).