>My main point is I disagree with the view of mathematics as nothing more than some axiomatic program I just don't see how this follows from Godel. It gives us

>My main point is I disagree with the view of mathematics as nothing more than some axiomatic program I just don't see how this follows from Godel. It gives us a more expansive view of math, but I don't see how any fundamental understanding is overturned. I don't see how this takes away from the connection between axioms and theorems. The characterization of math as discovering the logical consequences of axioms is just as true.