宇宙终级定理

转载 什么叫“证明”

设.当我们说“公式p是从公式集可证的”，是指存在着的公式的有限序列，其中尾项，且每个满足： (i)                   ，或 (ii)                 是“公理”，或 (iii)                存在. 具有上述性质的有限序列叫做p从的“证明”。