Explain Kurt Gödel's incompleteness theorems in detail. Begin with the historical context and what problems mathematicians were trying to solve. Describe the first and second incompleteness theorems, what they assert, and how they relate to formal systems. Discuss their implications for mathematics, logic, and philosophy. Conclude with how these theorems changed our understanding of mathematical truth and provability.