Compactness Theorem

A fundamental theorem of first-order logic: a set of sentences has a model if and only if every finite subset of it has a model.

Has significant philosophical implications: it entails that first-order logic cannot characterize the natural numbers up to isomorphism (non-standard models exist); it limits the expressive power of first-order logic in important ways.