The completeness of the axioms of the logical function calculus (1930) Participants: گسترشها Kurt Gödel (1906 – 1978) خواندن نبیگ 1. Compactness Theorem✹ جستارهای پیونددار Model theory