Gödel dio forma a esta idea determinando que cada valor de la función f tenía que obtenerse sustituyendo en las ecuaciones las variables por números y, los términos sin variables, por valores que ya se habían probado que designaban.