自然演繹

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