释
模型论
mó xíng lùn · ㄇㄛˊ ㄒㄧㄥˊ ㄌㄨㄣˋ
修撰于 2026-06-29 22:52:57
音义
| 拼音 | mó xíng lùn |
|---|---|
| 字母 | mo xing lun |
| 首字母 | mxl |
| 注音 | ㄇㄛˊ ㄒㄧㄥˊ ㄌㄨㄣˋ |
| 注音符号 | ㄇㄛ ㄒㄧㄥ ㄌㄨㄣ |
广训
模型论（Model theory）是数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S－T 定理，省略型定理， 插值定理等等，不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论、代数、拓扑等数学学科中得到应用。