Question: Who resolved the problem of adequate axiomatization of set theory?
Sentence: Zermelo–Fraenkel set theory provided a series of principles that allowed for the construction of the sets used in the everyday practice of mathematics.
Answer in sentence: no