Контекст такой.
Let

be the structure

that interprets the unary function

as the successor function. ... Only those subsets of

that are closed under

may serve as the universe of a substructure. The closed subsets of

are the sets of the form

for some

It follows that there are countably many substructures of

. Moreover, all of these substructures are isomorphic. So there is only one substructure up to isomorphism.
".