Describe the core implications of Gödel's First Incompleteness Theorem. How does the construction of a 'Gödel sentence' demonstrate that any consistent formal system capable of basic arithmetic cannot be complete? Discuss the theoretical impact this has on the Hilbert Program.