“compactness theorem”的概念、定义、翻译、参考文献-科学参考

单词	compactness theorem
释义	compactness theorem Philosophy Theorem in first-order logic stating that if every finite subset of an infinite theory T has a model, then the theory as a whole has a model. The result follows from the completeness theorem for first-order logic.
随便看	elasticity of substitution elasticity of supply elasticity of technical substitution elastic limit elastic modulus elastic potential energy elastic rebound theory elastic recoil detection analysis elastic string elastic wave elastin elastomer elastoresistance elastoviscous behaviour E layer E-layer elbaite elbow elbow of capture El Cid (c.1040–99) ELD elder Elders, The ELDO El Dorado

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。