We begin with a single Deduction from Premises (DFP) and once that is finished, the remaining deduction is a sequence of theorems taking small steps that eventually get us to the limit sum theorem. Any sentence that is derivable from the axioms of logic and arithmetic is labeled "Th", that is, "Theorem". The vast majority of these sentences are intermediate results and would not be labeled as theorems in traditional writing. The value of a function such as F evaluated at x is simply written as "Fx", that is, brackets are omitted. "Pms" indicates a premise in a DFP.
Page 1 Rev. 05/08/10