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