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