The authors have written an introduction to logic taking Gödel's incompleteness theorem as a starting point. The book should interest everyone from mathematicians to philosophers and readers who wish to understand the foundations and limitations of rational thinking. It is used as a textbook at major colleges and universities but lends itself to self-study as well.