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)

The set of axiom, A finite or infinite?

Do the definition of Mathematical System need more precise statement that like the set of axiom, A is finite? --Pladaak (talk)

There is no such imposition. It is often convenient to have an infinitude of axioms (like when expressing that the underlying set is infinite). --Lord_Farin (talk) 14:37, 12 February 2013 (UTC)