I'm not a theist, and so you have made two mistakes. I'm trying to find out why formal languages can't follow the semantics of concepts through categorial hierarchies of conceptual organization. (Because if they had been able to do so, then there would be no need to train in the Art of Rationality -- and we could easily have artificial intelligence.) The reason I asked about Gödel is because it's a very good way to find out how much people have thought about this. I asked about Bayes because you appear to believe that conditional probability can be used to construct algorithms for semantics -- sorry if I've got that wrong.