I think the "framework" you are looking for may be found in thinking about mathematics as a "formal language." See the articles on formal languages in the [Encyclopedia of Mathematics][1] and in MathWorld and Wikipedia.


  [1]: http://eom.springer.de/F/f040830.htm