Gödel's shorthand notebooks show how his incompleteness theorem emerged in the summer and fall of 1930. A crucial turning point in the formulation and proof of the theorem took place right after the famous Königsberg meeting where Gödel told about the result to von Neumann. The talk will document these developments through the original sources.