Provide a comprehensive explanation of the theoretical foundations of mathematical logic. Cover formal systems, propositional and first-order logic, and Gödel's incompleteness theorems. Discuss how these results impact our understanding of the limits of formal systems and mathematical reasoning. Explore the implications for mathematics, computer science, and philosophy. Consider the relationship between logical systems and computational theory.