This book provides a self-contained proof of the Mordell conjecture (Faltings's theorem) - one of the most important achievements in Diophantine geometry - alongside a concise introduction to the field of Diophantine geometry itself, at a level suitable for advanced undergraduate students and graduate students.