  This also follows from the compactness theorem, as shown in the entry on  classical logic.  The name of the theorem is a little unfortunate, since the theorem was first proved by Tarski, and Skolem didn’t even believe it (because he didn’t believe in uncountable cardinals). 