模型論是公理化集合論解釋的一般理論。它是邏輯學的一個分支，透過考慮對這些結構為真的 first-order 句子以及可以透過 first-order 公式在這些結構中定義的集合來研究數學結構 (Marker 1996)。
服從系統中公理的數學結構被稱為該系統的“模型”。分析的常用公理是二階的，並且已知實數是其唯一的模型。將公理弱化為僅包含 first-order 公理會導致一種新型的模型，稱為非標準分析。
模型論
另請參閱
Khovanski's Theorem, Nonstandard Analysis, Wilkie's Theorem使用 探索
參考文獻
Doets, K. Basic Model Theory. New York: Cambridge University Press, 1996.Hodges, W. A Shorter Model Theory. New York: Cambridge University Press, 1997.Manzano, M. Model Theory. Oxford, England: Oxford University Press, 1999.Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.Stewart, I. "Non-Standard Analysis." In From Here to Infinity: A Guide to Today's Mathematics. Oxford, England: Oxford University Press, pp. 80-81, 1996.在 中被引用
模型論請按如下方式引用
Weisstein, Eric W. "模型論。" 來自 Web 資源。 https://mathworld.tw/ModelTheory.html