Redirecting to Löwenheim–Skolem theorem