系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。

"canonical" and "finite model property" are different conceptions,which are relevant to the system's completeness.From the example of the system KW,the paper shows that finite canonical model and filtration are two different ways to prove finite model property,but they have something in common on techniques.