Unprovable

释义 Definition

（尤指在某个体系/条件下）无法被证明的；不可证的。 常用于数学、逻辑、哲学或辩论语境，表示“现有前提或规则下不能推出其为真”。

发音 Pronunciation

/npruvbl/

例句 Examples

The claim is unprovable with the evidence we have.
在我们现有的证据下，这个说法是无法证明的。

Within that axiomatic system, the statement is true but unprovable, which forces mathematicians to question what counts as a proof.
在那个公理系统中，这个命题为真却不可证，这迫使数学家重新思考什么才算“证明”。

词源 Etymology

由 **un-**（否定前缀，“不/无”）+ provable（可证明的）构成；而 prove 源自拉丁语 probare，意为“检验、证明、证实”。因此 unprovable 字面意思就是“不能被证明的”。

相关词 Related Words

• Provable
• Unproven
• Undecidable
• Indemonstrable
• Disprovable
• Axiom
• Theorem

文学与作品 Literary Works

• Gdel, Escher, Bach: An Eternal Golden Braid（Douglas Hofstadter）讨论形式系统、可证性与“不可证命题”等话题时常使用该词。
• Gdel’s Incompleteness Theorems（Raymond M. Smullyan）围绕不完备性定理与不可证性展开，语境中常见该词。
• Introduction to Mathematical Philosophy（Bertrand Russell）涉及逻辑证明与形式体系讨论时，相关表述中常出现该词或同义概念。