In 1931 his incompleteness theorem showed that Hilbert's grand plan was impossible as stated.
En 1931 o seu teorema da incompletude mostrou que o ambicioso plan de Hilbert era imposible tal como se suscitaba.