Arithmetic Operations

All the arithmetic operations can be computed through the successor function in a very natural manner. The predecessor of a number n different from zero is the number m such that \(succ(m) = n\) . Successor and predecessor provide addition and subtraction. These two operations provide multiplication and division. More efficient ways of computing all these operations are based on operation tables giving the results of operations only for numbers expressed by digits. The division provides the decimal representation of any rational number.