finite models

"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.

系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。