什么叫“证明”

设.当我们说“公式p是从公式集可证的”，是指存在着的公式的有限序列，其中尾项，且每个满足：

(i)                   ，或

(ii)                 是“公理”，或

(iii)                存在.

具有上述性质的有限序列叫做p从的“证明”。