自然演繹

喺數理邏輯入面，自然演繹係證明論入面一個會好似「大自然」噉嘅一種邏輯推理形式model嘅一種方式。呢種方式同啲Hilbert形嘅系統係有對比嘅。

數學邏輯