单词 | formal system |
释义 | Word Frequency formal systemnoun logic an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system Also called: formal theory, formal calculus. Compare formal language |
随便看 |
英语词典包含233703条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。