The completeness of the axioms of the logical function calculus
(1930)
برابر انگلیک (انگلیسی): Die Vollständigkeit der Axiome des logischen Funktionenkalküls

دست‌اندرکاران:

گسترش‌ها
Kurt Gödel
کورت گودل
(1906 – 1978)

1. استواره فشردگی✹
جستارهای پیونددار نگره‌ی نمونه