The development of formal systems has revolutionized our understanding of mathematics.
The so-called understanding is often just a misunderstanding that is widely circulated.