Godel's Theorem: A Very Short Introduction

When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, it had a profound impact on mathematical ideas and philosophical thought. A. W. Moore places the theorem in its intellectual and historical context, explaining the key concepts and misunderstandings.