Hence mathematics cannot be reduced to mathematical logic, and David Hilbert's dream of making all of mathematics complete and consistent needed to be reformulated.
Por iso as matemáticas non poden ser reducidas á lóxica matemática, e o soño de David Hilbert de facer toda a matemática completa e consistente ten que ser reformulado.