You didn’t know that Gödel was a theist and that a proof of God’s existence was discovered among his papers when he died? Well here it is.