استواره بَوَندَگی گودل

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


تاربرگ‌های پیموده‌شده در این نشست: جبر درونی گئورگ کریزل کوچکترین کران بالا دمداشت زینه‌ی یکم