provability

英式音标：[pru:və'bɪlɪtɪ]

美式音标：[pruvə'bɪlɪtɪ]

词义：

释义

可证迷；

英英释义

provability

n.capability of being demonstrated or logically proved

同义词：demonstrability

用法：

权威例句

The Logic of Provability

The logic of provability

Provability interpretations of modal logic

Provability algebras and proof-theoretic ordinals, I

Explicit Provability and Constructive Semantics

The Undecidability of k-Provability

Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.

Reflection schemes and provability algebras in formal arithmetic.

The Computational Complexity of Provability in Systems of Modal Propositional Logic

Robust Inference in Communication Games with Partial Provability

同根词：proved,prove,provable

造句：

1. She is, first and foremost, her husband's alter ego.

她首先是丈夫的知己。

来自柯林斯例句

2. The current division of labor between workers and management will alter.

当前工人与管理部门的分工将会改变。

来自柯林斯例句

3. Barry Humphries's alter ego Dame Edna has taken the US by storm.

巴里·汉弗莱斯凭借埃德娜夫人一角轰动全美。

来自柯林斯例句

4. He denounces people who urge him to alter his ways.

他指责那些督促他改变习惯的人。

来自柯林斯例句

5. He is unlikely to alter his game plan.

他不大可能改变自己的策略。

来自柯林斯例句

[ alter 造句 ]