| 单词 | meta-theoretic | 
| 释义 | > as lemmasmeta-theoretic   meta-theoretic adj.  Brit.  , U.S.  , ΚΠ 1929    H. B. Curry in  Amer. Jrnl. Math. 51 368  				The aim of mathematical logic is..not to reduce mathematics to a formalism,..but rather to analyze logic with a view to obtaining a greater command over its use... In this paper we shall adopt this metatheoretic point of view. 1965    B. Mates Elem. Logic viii. 128  				We are now in a position to..give informal proofs of a number of metatheoretic generalizations about the theorems of logic. 1994    Contemp. Sociol. 23 899  				Anyone who reads it [sc. the book] will..be less susceptible to the glib metatheoretic chatter endemic to the field. < as lemmas  | 
	
| 随便看 | 
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。