模型論（Model theory）是數(shù)學(xué)的一個學(xué)科，模型論的一些重要定理，如緊致性定理，L－S－T 定理，省略型定理， 插值定理等等，不僅對邏輯，集合論，遞歸論的研究有重要作用 ，而且也在數(shù)論、代數(shù)、拓?fù)涞葦?shù)學(xué)學(xué)科中得到應(yīng)用。