This paper is an introduction to Riemannian geometry, with an aim towards proving the Hopf-Rinow theorem on complete Riemannian manifolds. We assume knowledge of the basics of smooth manifolds, including the tangent and cotangent bundles and vector fields. After a brief introduction to tensors, we develop the foundations of Riemannian geometry: geodesics, the exponential map, and the Riemannian...