On the completeness of the calculus of logic (1929) برابر انگلیک (انگلیسی): Über die Vollständigkeit des Logikkalküls دستاندرکاران: گسترشها کورت گودل (1906 – 1978) جستارهای پیونددار نگرهی نمونه