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

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

youdao

指数法计算方法较简单、实用；模型法具有较强的逻辑性和系统性；

Index method was relatively simple and practicable, and model method had obvious logicality and system.

youdao

指数法计算方法较简单、实用；模型法具有较强的逻辑性和系统性；

Index method was relatively simple and practicable, and model method had obvious logicality and system.

youdao