Provide a theoretical overview of Godel's First Incompleteness Theorem. Explain why any consistent formal system that is powerful enough to express basic arithmetic contains statements that are true but unprovable within the system. Discuss the impact on the foundations of mathematics.