单词 | incompletability |
释义 | incompletability|ɪnkəmˈpliːtəbɪlɪtiː| Also -ibility. [f. incomplete a. + -bility.] 1. Incapability of being completed; = incompletableness.
1829Carlyle Misc., Novalis (1872) II. 213 (tr. Novalis) Men often wondered at the stubborn Incompletibility of these two Sciences. 1898Q. Rev. Apr. 86 This idea of the mysterious incompletability of existence. b. Logic and Math. The property, inherent in certain kinds of logical or mathematical system, of being incapable of providing a proof of every true proposition that can be formulated within the language of the system, no matter how many of these propositions be taken as extra axioms of the system. Cf. incomplete a. 2 b.
1940W. V. Quine Math. Logic Pref. p. vii, Gödel's theorem regarding the incompletability of logic and arithmetic is derived along novel lines. 1950― Methods of Logic (1952) §42. 248 Church's argument makes essential use of Gödel's theorem of the incompletability of number theory. 1962[see Gödel]. |

英语词典包含277258条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。
相关内容11:
相关热词搜索:incompletability英英词典英英释义英语词汇意思用法释义英语