Penrose–Hawking singularity theorems