The Foundations of Mathematics provides a careful introduction to proofs in mathematics, along with basic concepts of logic, set theory and other broadly used areas of mathematics. The concepts are introduced in a pedagogically effective manner without compromising mathematical accuracy and completeness. Thus, in Part I students explore concepts before they use them in proofs. The exercises range from reading comprehension questions and many standard exercises to proving more challenging statements, formulating conjectures and critiquing a variety of false and questionable proofs. The discussion of metamathematics, including Gödel’s Theorems, and philosophy of mathematics provides an unusual and valuable addition compared to other similar texts