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