Who resolved the problem of adequate axiomatization of set theory