استواره بَوَندَگی گودل همچنین شناخته شده با: قضیه تمامیت گودل برابر انگلیک (انگلیسی): Gödel's completeness theorem دیسهای Γ⊢φ ⇔ Γ⊨φΓ⊢φ ⇔ Γ⊨φ