De hecho, Hilbert usó el término "juego de fórmulas" en su respuesta de 1927 al criticismo de L.