自然演绎
維基百科,自由的
encyclopedia
在
数理逻辑
中,
自然演绎
是
证明论
中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。這種方式對比於使用
公理
的
公理系統
。