I notice that some of the classic results and theorems in black hole physics from the 1960s like the Hawking area theorem use the cosmic censorship hypothesis at some point in the proofs of the theorems.
I was wondering if in theory there is some possibility that one could try to prove one of those theorems without invoking the cosmic censorship hypothesis, or if there is some mathematical reason that it would be impossible to prove them without this hypothesis? No-one yet has any convincing idea of how to go about proving cosmic censorship and so the focus is on slightly smaller conjectures like the Penrose conjecture (still an enormously difficult conjecture in its own right).