有限模型属性

在数理逻辑中，如果L的任何非定理都被L的某个有限模型所证伪，则逻辑L具有有限模型属性（简称fmp）。

另一种说法是，如果对于L的每个公式A，当且仅当A是L的有限模型理论的一个定理，则L具有fmp。如果L是可有限公理化的（并且有一个递归的推理规则集），并且有fmp，那么它就是可解的。

然而，如果L仅仅是可递归公理化的，那么这个结果就不成立。

即使只有有限多的有限模型可供选择(直至同构)，仍然存在着检查这些模型的底层框架是否验证了逻辑的问题，而当逻辑不是有限可公理化的时候，即使它是可递归可公理化的，这可能也是不可解的。

(注意，当且仅当一个逻辑是可递归公理的，它才是可递归枚举的，这个结果被称为克雷格定理)。

一个有一个通用量化的一阶公式有fmp。一个没有函数符号的一阶公式，其中所有的存在量词在公式中首先出现，也具有fmp。