有限模型論/FO 辨別
< 有限模型論
FMT 是關於結構辨別。所以基本問題是“我能從所有不同的結構中辨別出某個結構嗎？”，其中不同指的是不等於同構。這可以對有限結構進行（但不能對無限結構進行）。例如...
所以，某個結構的存在可以看作是一個基本性質，它將一類同構結構與所有其他結構區分開來。現在我們可以考慮區分 2 個不同的（非同構）結構與其他結構的性質。它們也可以透過簡單地連線性質來區分，例如...
這可以擴充套件到有限個結構的性質，例如...
還可以考慮那些對無限個結構都成立的性質。但這些性質不能用上述方式進行區分。例如...
存在一些邏輯允許這種無限析取，例如...
那麼，還有其他方法可以在 FO 中區分這些結構嗎？有時，就像在...的情況下...
所以我們需要一個決策工具（方法）來決定具有某個性質的結構是否可以被區分，即對所有可能的性質都給出“是”或“否”的回答，即健全且完備的。