I want to know the answer to the following question:
Who resolved the problem of adequate axiomatization of set theory?
All the background I'm provided with is that "Zermelo–Fraenkel set theory provided a series of principles that allowed for the construction of the sets used in the everyday practice of mathematics.". Is that enough to answer the question?