Category:Model theory
From Free net encyclopedia
(Difference between revisions)
| Revision as of 16:07, 12 April 2006 Jpbowen (Talk | contribs) Added category ← Previous diff |
Current revision Jpbowen (Talk | contribs) Added category |
Current revision
In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the models which underlie mathematical systems. It assumes that there are some pre-existing mathematical objects out there, and asks questions regarding how or what can be proven given the objects, some operations or relations amongst the objects, and a set of axioms.zh:Category:模型论