Singularity theorems
There are several versions of the Penrose-Hawking singularity theorem. Most versions basically state that if there's a trapped null surface and the energy density is nonnegative, then there exists geodesics if finite length which can't be extended.I have to look up a reference, though