Saving Math from Plato