(4.5) |
(4.6) |
(4.7) |
(4.8) |
(4.9) |
(4.10) |
(4.11) |
(4.12) |
(4.13) |
(4.14) |
(4.15) |
(4.16) |
(4.17) |
(4.18) |
(4.19) |
(4.20) |
(4.21) |
(4.22) |
(4.23) |
(4.24) |
(4.25) |
(4.26) |
(4.27) |
この場合,
の前に,
があり,
は
(4.28) |
先ず,公理
によれば
(4.29) |
(4.30) |
特に
についての全称化を行わずに
(4.31) |
(4.32) |
定理と同様に
体系についてその公理系に論理式
(4.33) |
(4.34) |
(4.35) |
(4.36) |
(4.37) |
(4.38) |
はでは公理であるから
証明可能な論理式ゆえ推論規則「添加」
最後に,
(4.39) |
(4.40) |
この場合,
の前に,
があり,
は
(4.41) |
先ず,公理
によれば
(4.42) |
(4.43) |