系列研讨会提倡一种对逻辑的更加自然处理，斯坦尼斯瓦夫·亚希科夫斯基做了定义更自然的演绎的最早尝试，首先在1929年使用了一种图表表示法，并在1934年和1935年的一序列论文中更改了他的提议。但是他的提议没有流行起来。现代形式的自然演绎是由德国数学家格哈德·根岑于1935年在一篇提交给哥廷根大学数学系的学位论文中独立提出的。术语自然演绎就是在那篇论文中出现的:根岑被建立数论的一致性证明的目标所推动，因而找到了他的自然演绎演算的直接使用。但他不满意自己证明的复杂性，并在1938年使用他的相继式演算给出了一