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