strong completness
broader: completeness theorem
preferred label: تمامیت قوی @fa
type: Concept

completeness theorem
preferred label: قضیه تمامیت @fa
type: Concept
narrower: strong completness