To prove that assertion, we use an indirect proof.

为了证明这一点，我们用间接证法。

youdao

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