'Godel's Proof'
Godel's Proof was first published in the US in 1958. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title "On Formally Undecidable propositions of Principia Mathematica and Related Systems&qu