I wasn’t talking about ghosts. Godel’s theorems prove that either the universe is infinite, or it is finite and infinity lies outside the universe (as theists maintain). And seeing that virtually everything we have learned about the universe suggests that it is finite, theists are on much more solid ground than philosophical naturalists when they claim a spiritual creator from outside the physical universe created the same.
I don't get this. I'm not a mathematician, but I thought Godel's proof referred to formal systems, like rational (and in the event man made) systems of mathematics.
How does a proof that formal systems cannot be complete (generate proofs of all true theorems) say anything about the universe, let alone what's beyond the universe? After all it's possible (is it not?) to have infinities within mathematics, for instance an infinite number of integers, without the universe itself being spatially infinite.