模板:证明论：修订间差异
无编辑摘要 |
无编辑摘要 |
||
| 第13行： | 第13行： | ||
|- | |- | ||
! 证明、演绎 | ! 证明、演绎 | ||
| [[ | | [[演绎|演绎、可演绎]]、[[证明|证明、可证明]] | ||
|- | |- | ||
! 命题、定理 | ! 命题、定理 | ||
2026年1月22日 (四) 04:23的版本
| 证明论 | |
|---|---|
| 形式化公理系统（形式化、公理化） | |
| 推理系统 | Hilbert 风格/公理系统：Hilbert 表示 |
| Gentzen 风格-自然演绎系统： Gentzen 式自然演绎、 Fitch 式自然演绎、 Suppes–Lemmon 式自然演绎 | |
| Gentzen 风格-相继式演算： Gentzen 式相继式演算 | |
| 证明、演绎 | 演绎、可演绎、证明、可证明 |
| 命题、定理 | 公理、定理、元定理、变形规则 |
| 推理规则性质 | 保存真实性、保存重言性 |
| 公理系统性质 | 可靠性、完全性、一致性、独立性 |