自然演绎：在数理逻辑中，自然演绎是证明论中尝试提供象"自然"发生的一样的逻辑推理的形式模型一种方式。自然演绎来源自对共通于戈特洛布·弗雷格、伯特兰·罗素和大卫·希尔伯特系统的判句公理化的不满。这种公理化最著名使用是在罗素和艾尔弗雷德·怀特海的《数学原理》的数学论述中。在1926年由扬·武卡谢维奇在波兰发起的一系列研讨会提倡一种对逻辑的更加自然处理，斯坦尼斯瓦夫·亚希科夫斯基做了定义更自然的演绎的最早尝试，首先在1929年使用了一种图表表示法，并在1934年和1935年的一序列论文中更改了他的提议。
