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