赫布蘭定理

有兩個重要的定理被稱為赫布蘭定理。

第一個定理出現在環論中。設理想類在中，如果它包含一個理想，其次冪是主的。設是一個奇整數，並定義為。那麼。如果且，則。

邏輯中的赫布蘭定理指出，公式是不可滿足的當且僅當存在一個有限的地子句集合，該集合在命題演算中是不可滿足的。假設赫布蘭基域的元素被視為命題變數。由於不可滿足性與有效性是對偶的（是不可滿足的當且僅當否定是有效的），赫布蘭定理確立了僅赫布蘭域就足以解釋一階邏輯。該定理還將一階邏輯中不可滿足性的問題簡化為命題演算中不可滿足性的問題。