Let $T$ extend the theory of Groups. Suppose every element of every model of $T$ has a finite order. Show that there must be a bound to the order. Hint: Deny and run a Compactness argument to show a contradiction.
Anyone know how I can get started on this? The hints aren't really helping me.