provability
/ˌpruːvəˈbɪlətɪ/capability of being demonstrated or logically proved. synonyms: demonstrability. indisputability, indubitability, unquestionability, unquestionableness.
noun [抽象名词] n.可证明
So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one. 从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
后缀: ability
【noun】 具备某种特定能力 - the quality of being able to do something
原词: provability
是通过后缀 【ability】 构成的派生词
