模型论（Model theory）是数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S－T 定理，省略型定理， 插值定理等等，不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论、代数、拓扑等数学学科中得到应用。
欢迎使用翰思网词语词典！我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护，数据持续扩充，助您畅游中文世界。