Did it succeed in that regard? Gödel said that first-order logic powerful enough to capture Peano Arithmetic does not have a sound proof theory (incompleteness = not onto = unsound), meaning human imagination is still the limiting reactant.
To use your example, Godel would not have been able to explore those ideas without using mathematical logic.