Mathematics does quite fine without a way to empirically verify. Many problems are insoluble solely because we have not approached the issue with the proper fundamental concepts clearly defined. Euclid's gift to the world was not so much the invention of a new mathematics as the invention of a new foundation to the existing mathematics with his clear and precise definitions organized into theorems justified by logical proofs.