Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.