خشنودی‌پذیری
همچنین شناخته شده با: تمامیت حساب تابعی مرتبه‌ی اول
برابر انگلیک (انگلیسی): The Completeness of the First-Order Functional Calculus

دست‌اندرکاران:

گسترش‌ها
Leon Henkin
لئون هنکین
(1921 – 2006)


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem B.1 ⟩ Modal Theorem K.3 ⟩ ماگما ⟩ Modal Axiom B ⟩ خشنودی‌پذیری