En 1965 Penrose probó el primer teorema de las singularidades, que establece que una Singularidad gravitacional se forma inevitablemente durante el colapso de una estrella lo suficientemente masiva (proceso en el cual un agujero negro queda formado), y en este trabajo se basó luego el físico Stephen Hawking para probar el segundo Teorema de las singularidades, que establece la incompletitud geodésica hacia el pasado de todo espacio-tiempo globalmente hiperbólico en expansión que satisfaga la condición fuerte de energía.