In Book 2 of On Free Will, Augustine sets out to demonstrate that God exists. He does this by arguing along the following lines:
If there is something which is (a) eternal and unchangeable, and (b) superior to human reason, that thing is God.
The truth of numbers (Augustines example is 7+3=10) is eternal and unchangeable, and is superior to human reason.
Therefore, truth exists and it is God.
Evaluate this argument. Does this argument succeed in demonstrating that God exists? Why or why not? What, if anything, does this argument actually prove?