Provide a comprehensive explanation of the Zermelo-Fraenkel axioms of set theory. Discuss the concept of cardinality and the different sizes of infinity introduced by Cantor. Explain how set theory serves as a foundation for mathematics and discuss its relationship to logic. Address historical paradoxes like Russell's paradox and how modern set theory resolved them.