I think what is more accurate to say is that the broad crisis in foundations of mathematics was initially resolved by formalizing set theory.