Enderton 2.6.8

Assume that is true in all infinite models of a theory . Show that there is a finite number such that is true in all models of for which has or more elements.

=============

The sentence for there are at least things for is

, where

========

Any hint to get started?

Thanks.