(2.1.1) Odometer Principle
to find the successor of a natural number to base b
Start by considering the rightmost digit.
â—Ź If the digit we are considering is not b - 1, then replace it by the next digit in order, and terminate the algorithm.
â—Ź If we are considering a blank space (to the left of all the digits), then write in it the digit 1, and terminate the algorithm.
â—Ź If neither of the above holds, we are considering the digit b - 1. Replace it with the digit 0, move one place left, and return to the first bullet point.