Chinese remainder theorem
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.