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