Löwenheim-Skolem Theorem

Also see

 * Upward Löwenheim-Skolem Theorem