Explain the First and Second Incompleteness Theorems as formulated by Kurt Gödel. Describe the construction of a Gödel sentence and how it demonstrates that any consistent formal system capable of expressing elementary arithmetic cannot be both complete and consistent. Discuss how these theorems impacted the Hilbert Program and the philosophy of mathematics.