Full context:   Numbers greater than 0 are expressed by repeated application of the successor function s . For example, 1 is s ( 0 ) and 3 is s ( s ( s ( 0 ) ) ) . Arithmetic operations can be defined as mechanisms that affect how the successor function is applied. For instance, to add 2 to any number is the same as applying the successor function two times to this number.