This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and directly, this book is intended for the student and general reader and presumes no specialized knowledge of mathematics or logic.

"...an excellent presentation of Godel's argument for his epoch-making incompleteness theorem....written with admirable clarity...a genuine and insightful simplification of Godel's proof for his theorem." - Dialectica, (Switzerland)

"with undeniable didactic skill, Harry J. Gensler succeeds in making accessible the most important feature of Godel's 1931 proof." - Dialectica, (Switzerland)

"with undeniable didactic skill, Harry J. Gensler succeeds in making accessible the most important feature of Godel's 1931 proof." - Dialectica, (Switzerland)

"...an excellent presentation of Godel's argument for his epoch-making incompleteness theorem....written with admirable clarity...a genuine and insightful simplification of Godel's proof for his theorem." - Dialectica, (Switzerland)