Characterized by, or relating to, finitism.
单词 | θ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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。