 Frege ends his deductions of the laws of arithemtic with results about the notions of 0, Successor, and the principle of Induction which include the Peano Axioms. He does not consider arithmetical functions, such as addition or multiplication, and thus does not define the successor of a number n as the result of adding 1 to n.