Used attributively, originally with reference to the theorem that if a theory in a countable first-order language (cf. first-order, adj.) has any…
| 单词 | θ141095 |
| 释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > theorems, etc. (1) Löwenheim-Skolem1950 Used attributively, originally with reference to the theorem that if a theory in a countable first-order language (cf. first-order, adj.) has any… |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。