自然演绎
在數理邏輯中，自然演繹是證明論中嘗試提供象「自然」發生一樣的邏輯推理形式模型的一種方式。這種方式對比於使用公理的公理系統。