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

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