証明可能性

「証明可能性」の英語

「証明可能性」は英語で provability と言います。主に数学や論理学で、命題が形式体系の中で証明できるかどうかを表します。法的な立証可能性では、文脈に応じて別の表現を使うこともあります。

「証明可能性」の英語の使い分け

provability
数学や論理学で、命題を形式体系内で証明できるかを表します。
The paper discusses the provability of this statement.
その論文は、この命題の証明可能性について論じています。

「証明可能性」の例文

Researchers studied the provability of the conjecture within the new formal system.

研究者たちは新しい形式体系内でその予想の証明可能性を研究した。

コアイメージ

形式体系の枠内で命題が証明できるかどうかを示す証明可能性

英英

The condition or state of being provable, especially whether a conjecture or theorem can be established by a specified formal proof system.

語源

provabilityは、動詞proveの語幹に能力を示す接尾辞-abilityが結び付いてできた語で、文字どおり『証明できること』を表す。

コラム

文脈によってはprovabilityは法的な立証可能性を指すことがあり数学的な証明可能性と区別して理解する必要がある

「証明可能性」のレベル別の例文

中学
We checked the provability of this claim.

私たちは、この主張が証明可能かどうかを調べました。
高校・英検2級
The article examines the provability of the theorem in detail.

その記事は、その定理の証明可能性を詳しく検討しています。
TOEIC・ビジネス
The research team assessed the provability of the proposed theorem.

研究チームは、提案された定理の証明可能性を評価しました。
日常会話
Are we still discussing the provability of this claim?

この主張の証明可能性について、まだ議論しているのですか。

「証明可能性」を英語にするときのよくある間違い

× The proofability of the theorem is unclear.

○ The provability of the theorem is unclear.

一般的な名詞は proofability ではなく provability です。
× This theorem has provability.

○ This theorem is provable.

形容詞 provable を使うと「この定理は証明可能だ」と自然に言えます。

「証明可能性」の英語についてよくある質問

Q. 「証明可能性」を英語で一言で言うと？

provability と言います。主に数学や論理学で、命題がある形式体系の中で証明できるかどうかを指します。

Q. provability と provable の違いは？

provability は「証明可能性」という名詞で、provable は「証明可能な」という形容詞です。

Q. 「証明可能性」を法的な文脈で英語にすると？

法的な文脈では、何かを立証できるかどうかという意味で whether something can be proved や the ability to prove something などと表現します。文脈によっては、証拠の「証拠能力」を指す admissibility など、別の語が適切な場合もあります。