ABSTRACT
The incompleteness theorem is a theorem about the consistency and completeness of formal systems. As noted in the introductory chapter, “consistent,” “inconsistent,” “complete,” “incomplete,” and “system” are words used not only in a technical sense in logic, but in various senses in ordinary language, and so it is not surprising that the incompleteness theorem has been thought to have a great many applications outside mathematics.
