请输入您要查询的英文单词:

 

单词 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.
extracted from metamathematicaladj.
<
as lemmas
随便看

 

英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/27 19:53:52