<b>Very Short Introductions<b>: Brilliant, Sharp, Inspiring </b>Kurt G¿del first published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, nearly a century ago. The theorem challenged prevalent presuppositions about the nature of mathematics and was consequently of considerable mathematical interest, while also raising various deep philosophical questions. G¿del''s Theorem has since established itself as a landmark intellectual achievement, having a profound impact on today''s mathematical ideas. G¿del and his theorem have attracted something of a cult following, though his theorem is often misunderstood.This Very Short Introduction places the theorem in its intellectual and historical context, and explains the key concepts as well as common misunderstandings of what it actually states. A. W. Moore provides a clear statement of the theorem, presenting two proofs, each of which has something distinctiv