“Instead of proving all possible theorems in an axiomatic system (which Kurt Gödel showed is not possible), professional mathematicians continue to use a formal presentation of mathematics to specify and prove many theorems that are amenable to the formalist paradigm. This has generated a vast corpus of formal theory.
Controversies continue unresolved. Some mathematicians continue to insist on giving explicit constructions of mathematical entities, and do not allow proof by contradiction. This is a valid approach in its own right with much to recommend it. In the end, however, the choice that is likely to lead to the greater conquests is the one that offers the greater power and at the moment, it is David Hilbert's formalism that continues to predominate, while steadily being expanded as mathematics expands."

-David Tall (2013, p. 246) thinks though Formalism (mathematics) may have Lost the Battle it Still may Win the War.”