> > > > I was thinking more along the lines of specific descriptions such as: "And then the Lord drew upon the ground a perfect square, and this square had exactly three sides, and yet was perfectly round." (Yeah, sorry, I tend to always think of a math-related thing, first.)
>
> I would have to agree with gremlinn here - the reason that not even God could draw a 3-sided square is that, by definition, a square has four sides. Any shape that has exactly three sides is simply not a square. Similarly, God can't make one plus one equal three because the definitions of "one", "three", "plus" and "equal" forbid it. While He could change the meanings of the words, that would make it into a completely different statement.

I really wanted to get past this most basic of examples, because saying that God can't draw a 3-sided square because it's inherently self-contradictory is as fruitless as the saying that God can't make a rock which is heavier than itself. Yeah, so what, say most people to it.

Probably it's in this thread somewhere else, but I said that God also has no control on the truth of all of mathematics (relative to its own axioms which are taken to be true). For example, given how we define integers, division, etc., God can't make it false that there are an infinite number of primes. And that basically goes for all the results we've obtained through mathematics (though the farther you go, the more axioms you have to throw in).

Now I'm not saying that we *know* that we've made no mistakes in deriving various things in mathematics, but that if we *are* wrong, we're definitely wrong and it's also out of God's control. There may be an error in some extremely complicated proof out there, giving the wrong result, but ultimately the truthhood or falsehood (or essential unprovability -- can't forget that possibility) of a statement will stand as an absolute (relative to axioms) on its own.