Skolem–Löwenheim theorem

Redirect to:

• Löwenheim–Skolem theorem