模板:证明论：修订间差异
无编辑摘要 |
|||
| 第5行： | 第5行： | ||
| colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | | colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | ||
|- | |- | ||
! | ! 形式化范式 | ||
| [[公理系统（逻辑）|公理系统]]、[[自然演绎系统]] | | [[公理系统（逻辑）|公理系统]]、[[自然演绎系统]]、[[相继式演算]] | ||
|- | |- | ||
! 证明、演绎 | ! 证明、演绎 | ||
Advertising:
无编辑摘要 |
|||
| 第5行： | 第5行： | ||
| colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | | colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | ||
|- | |- | ||
! | ! 形式化范式 | ||
| [[公理系统（逻辑）|公理系统]]、[[自然演绎系统]] | | [[公理系统（逻辑）|公理系统]]、[[自然演绎系统]]、[[相继式演算]] | ||
|- | |- | ||
! 证明、演绎 | ! 证明、演绎 | ||
Advertising: