Comment by BoiledCabbage

> But I still can't see how this would affect most mathematics.

It won't, in the same way that introducing physics didn't affect philosophers. They were still free to do philosophy. But most new innovation and innovators came up doing physics instead - and that's been where all the growth had been for centuries.

In the end ungrounded theory is better than nothing. But grounded theory beats out ungrounded theory hands down.