| 单词 | metamathematically |
| 释义 | > as lemmasˌmetamatheˈmatically ˌmetamatheˈmatically adv. by metamathematics; in metamathematical terms. ΘΚΠ the world > relative properties > number > mathematics > [adverb] > using specific method or theory analytically1570 metamathematically1936 number-theoretically1950 proof-theoretically1952 chaotically1975 1936 W. V. Quine in Jrnl. Symbolic Logic 1 2 Each function of the formal system is restricted, thus metamathematically, to one degree for its values and to one for each of its arguments. 1956 J. H. Woodger tr. A. Tarski Logic, Semantics, Metamath. 116 Let us now consider the situation metamathematically. 1988 Theoret. Computer Sci. 61 225 Termination and correctness are proved metamathematically. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。