ABSTRACT
In this chapter, the authors include the axioms of Principia Mathematica (PM) in their axiom set. The transformation rules will not, however, enable us to derive all valid Well-formed formula of LPC1 from these axioms alone. They therefore add some further axioms, drawn from LPC1 itself. Since the whole basis of PM is included in the basis of PM+LPC1, the derived rules of PM hold good in PM+LPC1 also. Since the whole basis of PM is included in the basis of PM+LPC1, the derived rules of PM hold good in PM+LPC1 also. In virtue of Rl and R4, these derived rules can be applied to LPC1 theses as well as to PM theses.
