自然演繹：在數理邏輯中，自然演繹是證明論中嘗試提供象"自然"發生的一樣的邏輯推理的形式模型一種方式。自然演繹來源自對共通於戈特洛布·弗雷格、伯特蘭·羅素和大衛·希爾伯特系統的判句公理化的不滿。這種公理化最著名使用是在羅素和艾爾弗雷德·懷特海的《數學原理》的數學論述中。在1926年由揚·武卡謝維奇在波蘭發起的一系列研討會提倡一種對邏輯的更加自然處理，斯坦尼斯瓦夫·亞希科夫斯基做了定義更自然的演繹的最早嘗試，首先在1929年使用了一種圖表表示法，並在1934年和1935年的一序列論文中更改了他的提議。
