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