> does not explain why mathematics ought to be those ways.

He simply said what pure mathematics is. You brought the "ought" part in. By what standard do you determine what pure mathematics ought to be good for?