Answer
The Penrose-Hawking singularity theorem is a mathematical theorem that states that under certain conditions, a spacetime with gravity must contain a singularity. Theorem was first proposed by Roger Penrose in 1965 and later proved in more detail by Stephen Hawking in 1970. Theorem states that if a spacetime has a trapped surface, then it must contain a singularity.