On the completeness of the calculus of logic (1929) Participants: گسترشها Kurt Gödel (1906 – 1978) خواندن نبیگ جستارهای پیونددار Model theory