Quote
"Gödels theorem shows that this point of view is not really a tenable one in a fundamental philosophy of mathematics. The notion of mathematical truth goes beyond the whole concept of formalism. There is something absolute and God-given about mathematical truth. This is what , as discussed at the end of the last chapter, is about. Any particular formal system has a provisional and man-made quality about it. Such systems indeed have very valuable roles to play in mathematical discussions, but they can supply only a partial (or approximate) guide to truth. Real mathematical truth goes beyond mere man-made constructions."
R
Roger Penrose