Explain the significance of Kurt Godel's first incompleteness theorem. State that in any consistent formal system that is powerful enough to describe basic arithmetic, there are statements that are true but cannot be proven within the system. Discuss the impact this had on the Hilbert Program and the dream of a complete and consistent mathematical foundation.