FrontispieceTitle PageLibrary of Congress Cataloging-in-Publication DataDedicationTable of ContentsForeword to the New Edition by Douglas R. HofstadterAcknowledgmentsI. IntroductionII. The Problem of ConsistencyIII. Absolute Proofs of ConsistencyIV. The Systematic Codification of Formal LogicV. An Example of a Successful Absolute Proof of ConsistencyVI. The Idea of Mapping and Its Use in MathematicsVII. Gdel's ProofsA. Gdel numberingB. The arithmetization of meta-mathematicsC. The heart of Gdel's argument

VIII. Concluding ReflectionsAppendix: NotesBrief BibliographyIndex