自然演繹

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