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.

Designed to be the foundation for a two-semester course, this book investigates mathematical logic. Separated from philisophical logic through the use of the mathematical method to investigate and explain, the basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. There will always be mathematical problems that cannot be solved. This premise forms the basis of Godel's famous incompleteness theorum and is the main paradigm of the book. Exercises are provided at the end of each section to supplement the abstract concepts that are the...