洛文海-斯科伦-塔尔斯基定理

Löwenheim-Skolem-Tarski theorem