Definition talk:Mathematical System

An explain template entry:
 * i.e., $(E,O,A)$ is a model for a certain theory, not?

Yes, presumably, but it's not an area of maths I've studied in detail, so I'm not in a position to comment. Feel free to embellish this. --prime mover 05:38, 9 June 2012 (EDT)
 * The required framework is not up, at least not in the form I am accustomed to so I won't be able to do that rigorously. --Lord_Farin 06:12, 9 June 2012 (EDT)