 The intended interpretation of “\(x'\)” is the successor function, and obviously, of + and \(\times\), the addition and the multiplication functions, respectively. “0” is the only constant and denotes the number zero.