Gödel, Tarski, & Logic. (for grace2u)

So, if logic is to be taken as a reflection of the character of God, can we then conclude that, like logic, God is inconsistent and incomplete? You've agreed to use the same language. How could you communicate with each other if English isn't a fundamental law of the universe?

If they're saying the same thing, why use "or"? I wouldn't say "rich or thick" when referring to whipped cream. I wouldn't call God "all-powerful or omnipotent".Would it have simply been better to pick one of those terms, instead of both? My bad.

In this case, I think it does. Though I'm obviously no mathematician, Godel's proof seems to me to imply that axiomatic systems are not incomplete because they're weak or incapable - they're incomplete as a result of being strong enough to model number theory. That is, axiomatic systems don't become incomplete until they've reached a sufficient level of power and complexity.Now obviously the universe's logic cannot be weaker than our logic. Therefore we know that the universe's logic must be incomplete as well, not because it is weak, but because it is strong.Now, how could your perfect god radiate such imperfect logic? Now, you may think that god's logic is not incomplete, but if it isn't, it can't model number theory. That's pretty weak, don't you think? Why would god have weaker logic than we do?