provability
|pro/va/bi/li/ty|
🇺🇸
/ˌ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.
彼の主張の立証可能性は、利用できる証拠に依存する。
同意語
反意語
名詞 2
(数学・論理)形式体系内で命題が導出可能である性質(ある公理系や推論規則の下で証明できること)
In mathematical logic, provability is formalized by a provability predicate that captures which formulas are derivable in a system.
数理論理学では、どの公式が体系で導出可能かを表すために、立証可能性を表す述語が形式化される。
同意語
反意語
最終更新時刻: 2025/12/25 00:01
