Discuss the foundational crisis in mathematics of the early 20th century and the development of formal systems. Explain Russell's paradox and how it led to the development of axiomatic set theory (ZFC). Analyze Gödel's incompleteness theorems and their implications for mathematical truth and provability. Explore the relationships between different foundational approaches (logicism, formalism, intuitionism) and their lasting impact on mathematics and computer science.