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
