赫布兰定理

有两个重要的定理被称为赫布兰定理。

第一个定理出现在环论中。设理想类在中，如果它包含一个理想，其次幂是主的。设是一个奇整数，并定义为。那么。如果且，则。

逻辑中的赫布兰定理指出，公式是不可满足的当且仅当存在一个有限的地子句集合，该集合在命题演算中是不可满足的。假设赫布兰基域的元素被视为命题变量。由于不可满足性与有效性是对偶的（是不可满足的当且仅当否定是有效的），赫布兰定理确立了仅赫布兰域就足以解释一阶逻辑。该定理还将一阶逻辑中不可满足性的问题简化为命题演算中不可满足性的问题。