MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 9 characters in body; added 13 characters in body; [made Community Wiki]

I think the "framework" framework you are looking for may be found in thinking about the "logic" of mathematics as in terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.
show/hide this revision's text 1

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 and in MathWorld and Wikipedia.