Lowenheim-Skolem theorem
preferred label: قضیه لوون هایم-اسکولم @fa
type: Concept
narrower: downward Lowenheim-Skolem theorem

downward Lowenheim-Skolem theorem
broader: Lowenheim-Skolem theorem
preferred label: قضیه کاهشی لوونهایم-اسکولم @fa
type: Concept