go top

Inner model

  • 内模型(数理逻辑中,T是集合论语言中的理论。若N是M中的类,能使T包含所有M的序数的模型,则称N为T的内模型。标准模型的元素关系局限于此模型中的真实元素关系。传递模型是标准的,而标准模型则是良基的。存在一个ZFC的标准模型,会存在一个包含于所有标准模型中的最小标准模型,称之为最小模型)

网络释义

短语

car inner modeling 汽车内饰造型

crop modeling inner knowledge framework 作物模型内部知识框架

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定