形式演绎系统T中的运算与演绎定理

对著名的形式演绎系统T做了进一步的研究，得到一些新定理，在系统T中引入新的二元运算，讨论了这各运算的性质，并由此得到了形式系统T中的演绎定理。