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.
因此，数学本身不可能被规约为数学逻辑学，而大卫·希尔伯特企图将整个数学变得完备和一致的梦想也就此破灭而 不得不改变了。