# Section 3.2: 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 any eventually periodic set of natural numbers is definable in the structure
.

Every finite subset and its complement in
can be defined in
(Exercise 4 of Section 3.1), and, hence, in
. Therefore, by using disjunctions and conjunctions we can modify any finite number of points of a subset, and it is sufficient to show that every periodic set of natural numbers is definable in
. But every periodic set
with period
is determined by memberships of the first
natural numbers. Hence, if
, then
is defined by
.