Lowenheim-Skolem theorem
قضیه لوون هایم-اسکولم
downward Lowenheim-Skolem theorem
قضیه کاهشی لوونهایم-اسکولم