  We introduce the notion of limiting theories, giving examples and providing a
sufficient condition under which the first order theory of a structure is the
limit of the first order theories of a collection of substructures. We also
give a new proof that theories like that of infinite sets are not finitely
axiomatizable.
