### Limit Sum Theorem

In this article, we derive the classic limit sum theorem without using the Axiom of Choice.
Elementary theorems from arithmetic, such as the Triangle Inequality, are referenced and
introduced as needed. In certain cases, a number of easy, simplistic steps using theorems of logic
are compressed into a single step. As will be shown, the key to the whole process is the tactical
use of the logical theorems for importing quantifiers.
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 g*