... proof method 证明法 proof of consistency 相容性的证明 proof of deducibility 可推断证明 ...
基于2个网页-相关网页
proof of consistency
一致性证明
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Proof of consistency by the method of models is an indirect process.
用模型法证明相容性，是间接法。
youdao
应用推荐
模块上移
模块下移
不移动