استواره لونهایم-اسکولم سربالا

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


تاربرگ‌های پیموده‌شده در این نشست: ارزش‌های راستی محکی جملات هستند On the completeness of the calculus of logic آموزگاه لویو-ورشو بنداشت ناپادگویی