Langimage

provability

|pro/va/bi/li/ty|

C2

🇺🇸

/ˌproʊvəˈbɪlɪti/

🇬🇧

/ˌprəʊvəˈbɪlɪti/

証明できる性質・可能性(証明可能性)

capability of being proved

語源
語源情報

「provability」は英語で、形容詞「provable」に名詞化接尾辞「-ity」が付いてできた語に由来する。『provable』は古フランス語の『prover(試す、証明する)』に由来し、最終的にはラテン語の『probare(試す、証明する)』にさかのぼる。

歴史的変遷

『provability』は中英語・近代英語の形容詞『provable』から変化した。『provable』は古フランス語『prover』(さらにラテン語『probare』)に由来し、語尾に『-ity』を付けて現代英語の名詞『provability』が形成された。

意味の変化

ラテン語の語根は当初「試す・証明する」を意味していたが、英語では動作を示す語から形容詞に、さらに『証明できるという性質』を表す名詞へと意味が移行した。

品詞ごとの意味

名詞 1

立証できる性質・状態(何かが証明できること)

The provability of his claim depends on the available evidence.

彼の主張の立証可能性は、利用できる証拠に依存する。

同意語

反意語

unprovability
indemonstrability

名詞 2

(数学・論理)形式体系内で命題が導出可能である性質(ある公理系や推論規則の下で証明できること)

In mathematical logic, provability is formalized by a provability predicate that captures which formulas are derivable in a system.

数理論理学では、どの公式が体系で導出可能かを表すために、立証可能性を表す述語が形式化される。

同意語

derivability

反意語

unprovability

最終更新時刻: 2025/12/25 00:01