Gödel and God.
Leave off the dots and what have you got? God! ... -ish.
Incompleteness theorem my ass! Sheer laziness!
So, there are some theories you can't prove, but there's no way of knowing which they are. The fact mathematicians invent new abstractions to befit whatever new idea they dream up might account for that, no?
If you were a biologist Gödel, you would have been ridiculed out of the lab
For example:
"To prove this theorem, Gödel
developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers."
So, to prove your point, you
invent something you name after yourself, and there you have it!