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