• Die Vollständigkeit der Axiome des logischen Funklionenkalküls
  • 1930 - Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 349–360
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  • 1931 - Monatshefte für Mathematik und Physik, vol. 38 (1931), pp. 1
• Über eine bisher noch nicht Benützte Erweiterung des finiten Standpunktes
  • 1958 - |godel1958dialectia|
    Dialectica, vol. 12 (1958), pp. 280–287
    
  • 1972 - |godel1972dialecta|
    On an extension of finitary mathematics which has not yet been used
    A revised version of |godel1958dialectica|
  • 1990 - |godel1990collected-v02|
    Reprinted with an English translation

The Collected Works of Kurt Gödel

• Collected works, vol. i, Oxford: Oxford University Press, 1986.
• Collected works, vol. ii, Oxford: Oxford University Press, 1990.
• Collected works, vol. iii, Oxford: Oxford University Press, 1995.