Durante el transcurso de ese mismo año, Gödel había seguido estudiando la idea de Herbrand de que una función formula_1 podía definirse como un conjunto de ecuaciones entre términos, incluyendo tanto a la misma función así como una serie de símbolos para funciones previamente definidas.