soundness proof
稳健的证据
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Soundness, which means that the system's rules of proof will never allow a false inference from a true premise.
健全，这意味着系统的规则的举证责任，决不允许有虚假推理从一个真正的前提。
youdao
应用推荐
模块上移
模块下移
不移动