## 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*