Gödel's Incompleteness Theorem demonstrated that within any given axiomatic system, there would always be some propositions that couldn't be proven either true or false using the rules and axioms ... of that system itself. The implication is that all logical system of any complexity are, by definition, incomplete; each of them contains, at any given time, more true statements than it can possibly prove according to its own defining set of rules. So the question here is, "if the idea of God is given as truth, is it possible for human thought (language) to describe or otherwise prove this truth?" In the same vein of reasoning is it possible to use the axiomatic system of human thought to solve the "Omnicient vs free will" paradox as presented by Cris in here.
