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