This book provides a concise and self-contained introduction to the foundations of mathematics. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms.