بَوَندَگی چماریک بَوَندَگی نیرومند همچنین شناخته شده با: تمامیت قوی برابر انگلیک (انگلیسی): strong completeness دیسهای Γ⊨𝒮 𝜙 ⇒ Γ⊢𝒮 𝜙Γ⊨𝒮 𝜙 ⇒ Γ⊢𝒮 𝜙