Jabarkan Dalam terjemahan bahasa Inggris: dari Kurt Gödel

Kurt Godel, 1992. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. B. Meltzer, with a comprehensive introduction by Richard Braithwaite. Dover reprint of the 1962 Basic Books edition.

Kurt Godel, 2000. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. Martin Hirzel

Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press.

1930. "The completeness of the axioms of the functional calculus of logic," 582–91.

1930. "Some metamathematical results on completeness and consistency," 595–96. Abstract to (1931).

1931. "On formally undecidable propositions of Principia Mathematica and related systems," 596–616.

1931a. "On completeness and consistency," 616–17.

"My philosophical viewpoint" , c. 1960, tidak dipublikasikan.

"The modern development of the foundations of mathematics in the light of philosophy" , 1961, tidak dipublikasikan.

Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon Feferman.

Volume I: Publications 1929–1936 ISBN 978-0-19-503964-1 / Paperback:ISBN 978-0-19-514720-9,

Volume II: Publications 1938–1974 ISBN 978-0-19-503972-6 / Paperback:ISBN 978-0-19-514721-6,

Volume III: Unpublished Essays and Lectures ISBN 978-0-19-507255-6 / Paperback:ISBN 978-0-19-514722-3,

Volume IV: Correspondence, A–G ISBN 978-0-19-850073-5,

Volume V: Correspondence, H–Z ISBN 978-0-19-850075-9.