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

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