پیش‌نیازها گویایی واخته‌ها استواره لونهایم همچنین شناخته شده با: قضیه لونهایم، قضیه لوونهایم برابر انگلیک (انگلیسی): Lowenheim Theorem Löwenheim Theorem ویمند [=تعریف] اگر یک سهان [=جمله‌ی] رایه یکم مدل داشته باشد، آنگاه مدلی دارد که دامنه‌ی آن شمارا است. دستاوردها/پیامدها استواره لونهایم-اسکولم