I think the framework you are looking for may be found in thinking about the "logic" of mathematics in terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.
2 of 3
added 9 characters in body; added 13 characters in body; Post Made Community Wiki
grshutt
- 833
- 8
- 11
grshutt
- 833
- 8
- 11