Imagine that you create a table in which you store all theorems along with their proof. This is possible, because, since Richard's paradox, we know that the set of all proofs is countable. If someone asks you "Is this theorem provable?", you look it up in the table. If you can find it, you return the proof stored along with it. If not, you just say that it is unprovable. We can now take a look at Gödel's example theorem "This statement is unprovable". Is this statement provable? No. We cannot store it in the table, along with a proof. Hence, since you cannot return the proof, you must say that it is unprovable. Then, is this statement true? Yes. Since you can indeed not return its proof by looking it up in the table, it is true.
Consequently, we have discovered an entire class of statements that are true but not provable.
In that sense, the question "Where can we find proof that God exists?", just ignores Gödel incompleteness theorems. The person insisting that there should be a proof for every true statement, is wrong.
Therefore, it would be absolutely no surprise that God truly exists but that there is simply no proof for that. There is absolutely nothing wrong with that position. Hence, the God of gaps theory is ignorant. It fails to acknowledge the existence of true but not provable statements.
