Talking of mathematics as a bondage-and-discipline precise science always seemed to me as misleading. This is not how mathematics is done, even if the result looks so.
As to PG's definition of mathematics as study of terms that have a precise meaning, this is wrong too, as exemplified by problems of set theory and its logic, from which mathematicians escaped into more loosy setting of category theory and categorical logic.
As to PG's definition of mathematics as study of terms that have a precise meaning, this is wrong too, as exemplified by problems of set theory and its logic, from which mathematicians escaped into more loosy setting of category theory and categorical logic.
I think article "When is one thing equal to another" by Barry Mazur somewhat fits into the theme of this blog note http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf