The Penrose-Hawking singularity theorems reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)
In relativity, there are several versions of the Penrose-Hawking singularity theorem. Most versions state, roughly, that if there is a trapped null surface and the energy density is nonnegative, then there exist geodesics of finite length which can't be extended.