逻辑的自然演绎思想最早来源于卢卡西维奇。他在1926年的讨论班上就提出,实际数学证明并不像当时的逻辑公理化思想那样,而是允许随时引入任意假设,然后看能够推出什么。1934年,根岑和雅斯可夫斯基各自独立发表关于自然演绎的文章,同时标志着自然演绎的正式诞生。尽管二者的工作是相互独立互不知晓,然而却有着同一个主题—实际数学推理的形式化。根岑和雅斯可夫斯基在各自的论文中提出了不同的自然演绎的方法,包括规则和证明风格等。基于此,本文从考察根岑和雅斯可夫斯基的自然演绎之路开始,而后试图解释二者自然演绎思想的重要不同。文章结构安排如下：第1章：前言。介绍相关背景及研究现状。第2章：根岑的自然演绎之路。介绍根岑发展自然演绎的三个阶段—雏形阶段的自然演算的五个形式、成熟阶段的经典逻辑和直觉主义逻辑的自然演绎系统和矢列演算系统、融合阶段的矢列式自然演绎系统。第3章：雅斯可夫斯基的自然演绎之路。介绍雅斯可夫斯基自然演绎的命题演算系统、直觉主义逻辑的不完全系统和经典谓词演算系统。第4章：根岑与雅思科夫斯基自然演绎思想的比较。主要从思想来源、目的和出发点、表现形式和影响等四个方面讨论二者的不同之处。第5章：结论。根岑的思想来源是哥廷根学派,其出发点和目的是为了证明数论的一致性,使得其证明的表现形式为树形,可以更好地研究证明的结构性质,从而开辟证明论研究的新方向——结构证明论,而对逻辑常项的规则成对出现的要求催生了证明论语义学与推理主义。而雅斯可夫斯基的思想来源是华沙学派,发明自然演绎的目的是为了解决卢卡西维奇提出的问题,受华沙学派研究逻辑的思路与原则影响,其自然演绎系统规则尽可能少,证明表现形式尽可能直观,因而对逻辑学自然演绎系统的教学影响甚大。