The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step. The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent reading.