数理逻辑的形式和非形式证明的区别？
一次考试中，在证明一阶逻辑时，提到用形式证明，另一道题提到用非形式证明， 我不明白这两种证明方式到底指的是什么？有什么区别吗？
我只知道利用定理的因果证明，哎。。。 求教啊



[解决办法]
形式证明，就是用逻辑符号和相关定理，去推导证明。
非形式证明就没这要求了。

我是这么理解的
[解决办法]
公式证明 与 举例证明 ？