| 词条 | 模型论 |
| 类别 | 中文百科知识 |
| 释义 | 模型论数理逻辑的重要分支之一。为各种数学理论系统建立模型，研究各模型之间的关系，模型与形式系统之间的关系。20世纪50年代后逐渐形成独立学科。在数学基础方面有重要应用。例如用紧致性定理构造非标准模型使实无穷小得到精确的理论根据。 模型论数理逻辑的基本分支之一。研究形式语言与其解释（即模型）之间的关系。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。