有限模型论/FO 辨别
< 有限模型论
FMT 是关于结构辨别。所以基本问题是“我能从所有不同的结构中辨别出某个结构吗？”，其中不同指的是不等于同构。这可以对有限结构进行（但不能对无限结构进行）。例如...
所以，某个结构的存在可以看作是一个基本性质，它将一类同构结构与所有其他结构区分开来。现在我们可以考虑区分 2 个不同的（非同构）结构与其他结构的性质。它们也可以通过简单地连接性质来区分，例如...
这可以扩展到有限个结构的性质，例如...
还可以考虑那些对无限个结构都成立的性质。但这些性质不能用上述方式进行区分。例如...
存在一些逻辑允许这种无限析取，例如...
那么，还有其他方法可以在 FO 中区分这些结构吗？有时，就像在...的情况下...
所以我们需要一个决策工具（方法）来决定具有某个性质的结构是否可以被区分，即对所有可能的性质都给出“是”或“否”的回答，即健全且完备的。