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

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


تاربرگ‌های پیموده‌شده در این نشست: مک کینزی آلفرد تارسکی استانیسلاو لسنیوسکی توماس اچ کورمن گاتفرید لایبنیتس محمد ابن موسی خوارزمی