اگر یک هنگرد شمارا از گزاره‌های رایه یکم یک مدل بی‌پایان داشته باشد، آنگاه مدلی دارد که دامنه‌ی آن شمارا است.
آشنایی با Lowenheim-Skolem Theorem چیست؟معنی Lowenheim-Skolem Theorem یعنی چه؟
آشنایی با Löwenheim-Skolem Theorem چیست؟معنی Löwenheim-Skolem Theorem یعنی چه؟
آشنایی با استواره لونهایم-اسکولم چیست؟معنی استواره لونهایم-اسکولم یعنی چه؟
آشنایی با قضیه لونهایم اسکولم، قضیه لوونهایم اسکولم چیست؟معنی قضیه لونهایم اسکولم، قضیه لوونهایم اسکولم یعنی چه؟
برابر پارسی قضیه لونهایم اسکولم، قضیه لوونهایم اسکولم
معادل فارسی قضیه لونهایم اسکولم، قضیه لوونهایم اسکولم