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