استواره دوم بَوَندَگی گودل
همچنین شناخته شده با: قضیه لونهایم، قضیه لوونهایم
برابر انگلیک (انگلیسی): Lowenheim Theorem Löwenheim Theorem

ویمند [=تعریف]

اگر یک سهان [=جمله‌ی] رایه یکم مدل داشته باشد، آنگاه مدلی دارد که دامنه‌ی آن شمارا است.


دستاوردها/پیامدها استواره لونهایم-اسکولم

تاربرگ‌های پیموده‌شده در این نشست: نوئل بلنپ ⟩ ارنست فردریش فردیناند تسرملو ⟩ استواره بَوَندَگی گودل ⟩ یکنواختی دمداشت ⟩ استواره دوم بَوَندَگی گودل