 Gravitational singularity theorem

A theorem giving conditions under which some geodesic is incomplete. The Penrose singularity theorem is one example.