绎自身一般是难于证明的，这种理由确实存在于文献中，其中最着名的是 Dag Prawitz 1961年的书《Natural deduction: a proof-theoretical study》，A&W Stockholm 1965,没有ISBN。通过免切相继式演算表达的方式做间接的证明是非常容易的。
一阶扩展.前面章节中的逻辑是“单类”逻辑的例子，单类逻辑只带有单一一类对象: 命题。已经提出了对这个简单框架的很多扩展；在本章中我们将向它扩展上第二类对象：个体或项。更精确地说，我