Provide a theoretical overview of Godel's Incompleteness Theorems. Explain the construction of a Godel sentence and how it proves that any consistent formal system capable of basic arithmetic is incomplete (contains true statements that cannot be proven within the system). Discuss the philosophical implications of these theorems for the limits of human knowledge and the potential of artificial intelligence.