Proof of consistency by the method of models is an indirect process.

用模型法证明相容性，是间接法。

youdao

Proof of consistency by the method of models is an indirect process.

用模型法证明相容性，是间接法。

youdao