Yahoo奇摩字典 網頁搜尋

登入
  1. 更多

  1. Oxford American Dictionary

    incompleteness theorem

    • IPA[ˌinkəmˈplētnis]
    • n.
      the theorem that in any sufficiently powerful, logically consistent formulation of logic or mathematics there must be true formulas which are neither provable nor disprovable. The theorem entails the corollary that the consistency of a logical system cannot be proved within that system.

    • noun: incompleteness theorem, plural noun: incompleteness theorems

    • 更多解釋

    incompleteness theorem

    • n.
      the theorem that in any sufficiently powerful, logically consistent formulation of logic or ...

    Oxford Dictionary