模型论
mó xíng lùn
ㄇㄛˊ ㄒㄧㄥˊ ㄌㄨㄣˋ
📖 词语释义
- 拼音字母mo xing lun
- 首字母mxl
- 注音符号ㄇㄛ ㄒㄧㄥ ㄌㄨㄣ
- 更新2026-07-10 03:38:40
更多解释
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。