Category:Model theory
From Free net encyclopedia
Revision as of 16:07, 12 April 2006; view current revision
←Older revision | Newer revision→
←Older revision | Newer 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:模型论