I will summarize the main ideas of General Relativity and Lorentzian geometry, leading to a proof of the simplest Hawking-Penrose singularity theorem. The audience will be assumed to be familiar with Riemannian geometry and point set topology.