Explain the concept of axiomatic systems in mathematics, focusing on Zermelo-Fraenkel set theory. Discuss Gödel's incompleteness theorems and their implications for the limits of formal mathematical systems. Analyze how different axiomatizations lead to different mathematical universes, and discuss the philosophical implications of the axiom of choice.