Explain the theoretical foundations of mathematical set theory. Discuss the historical development of set theory from Cantor to modern axiomatic systems. Outline the Zermelo-Fraenkel axioms with the Axiom of Choice (ZFC). Explore key concepts like cardinalities, ordinals, and the continuum hypothesis. Discuss Gödel's incompleteness theorems and their implications for set theory as a foundation for mathematics.