Before revision: It thus became clear that the notion of mathematical truth can not be reduced to a purely formal system as envisaged in Hilbert's program.
After revision: It thus became clear that the notion of mathematical truth cannot be reduced to a purely formal system as envisaged in Hilbert's program.