所谓的"自然演绎系统"指的是:我们将要进行的形式演绎是从实际演绎(或更确切地说,数学演绎)中抽象出来的。我们知道实际生活中或数学中的大部分推理都是有前提的推理。我们将要建立的演绎系统就是从这种有前提的推理中抽象出的一个演绎系统。