参考答案：

自然演绎法是一种形式化的逻辑证明方法，其基本思想是：确定一些推理规则，这些规则用来保证从真前提推出真结论，从所要证明的推理的前提出发，只要依据推理规则，就能形式的推出预期的结论，就证明该推理是有效的。

自然演绎法的出发点只是一些推理规则，没有公理，比公理化方法更接近于人们的日常思维习惯。