Question: Who resolved the problem of adequate axiomatization of set theory?
Sentence: The problem of an adequate axiomatization of set theory was resolved implicitly about twenty years later by Ernst Zermelo and Abraham Fraenkel.
Answer in sentence: yes