模型论

基本属性

• 拼音字母mo xing lun
• 拼音首字母mxl
• 注音符号ㄇㄛ ㄒㄧㄥ ㄌㄨㄣ

扩展释义

模型论（Model theory）是数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S－T 定理，省略型定理， 插值定理等等，不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论、代数、拓扑等数学学科中得到应用。