Penrose-Hawking theorems rigorously derive singularities under causality conditions satisfied by all...
This proposition has not been edited since the history system was added.