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

 

单词 θ141215
释义
the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems (5)
finitist1904

Characterized by, or relating to, finitism.

incomplete1932

Logic and Mathematics. Of a formal logical or mathematical system: containing true propositions for which no proof of validity is possible using…

proof-theoretic1940

of, relating to, or involving proof theory.

model-theoretic1956

Of, relating to, or involving model theory (model theory, n. 1c).

model-theoretical1958

= model-theoretic, adj.

随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/4 0:54:09