证据理论

在证明理论中，当且仅当系统中的每一个闭句都是这样的，即它或它的否定在系统中是可证明的，一个形式系统就被认为是句法完备的。在模型理论中，一个形式系统在语义上被认为是…

由此产生的“证明理论”主要(虽然不是唯一)涉及在正式系统中可以完成的不同类型的证明。

与证明理论密切相关的语义学通常必须与与模型理论密切相关的语义学区分开来。粗略地说，语法——在数学哲学中被构想出来——是数论的一个分支，语义学是集合论的一个分支，它处理的是……的性质和关系。

正式的系统被称为证明理论。它是系统逻辑理论的主要领域之一。

公理化理论…T被称为证明理论，或超数学。它的前提是制定T作为一个正式的公理理论，即。，推理理论(以及T)必须公理化。然后才有可能呈现T以一种纯粹的象征形式。，作为一种基于…