 By an ingenious use of the Chinese remainder theorem, we can constructively define such a recursive function formula_4 (using simple number-theoretical functions, all of which can be defined in a total recursive way) fulfilling the specifications given above.Gödel defined the formula_4 function using the Chinese remainder theorem in his article written in 1931.This is a primitive recursive function.