以上三个定理保证了归结法的正确性。因为它们把S在一般论域D上的不可满足问题化成了可数集H上的不可满足问题。今后的讨论只需在S的H域上进行了，不必再涉及一般论域D。 　　对于定理3来说，其结果经常被引用。因为S的逻辑含义是所包含的子句的合取，而且变量受全称量词的作用。那么在某个解释I（均指H解释）下为假，只需某个子句的某个基例为假，而S是不可满足的，要求在任一解释下均为假，从而定理3成立。 　　一般来说，D域是无穷不可列的，因此，子句集也是无穷不可列的。但子句集S确定后其H域是无穷可列的。不过在H上证明S的不可满足性仍然是不可能的。解决问题的方法：语义树