首页 英汉 汉英 英英 词组 用法 例句 同义词 写作 俚语 缩写 词源 词根 法汉 德汉 日汉 俄汉 韩汉 西汉 意汉 泰汉 越汉
| 单词 | model-theoretically |
| 释义 | > as lemmasˌmodel-theoˈretically ˌmodel-theoˈretically adv. ΘΚΠ the mind > mental capacity > philosophy > mathematical philosophy > [adverb] proof-theoretically1952 model-theoretically1960 1960 Jrnl. Symbolic Logic 25 139 Model-theoretically, this implies that C(σ*(X)) = σ*(C(X)). 1973 J. J. Zeman Modal Logic p. vi The systems are studied model-theoretically. 2012 T. Williamson Modal Logic as Metaphysics vii. 307 Thus the two theories are model—theoretically equivalent. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。