Explain me please, why if the set of first-order sentences has an infinite model, then the set (class) of all models of , , is strictly bigger than any set ?
Here is a passage from a textbook:
... is sometimes unbounded. It is unbounded precisely when has an infinite model. By unbounded we mean that for any set , is strictly bigger than ...