> failing both the applied and pure camps

Yes. Neither its use nor truth. Just a bunch of stuff to learn.

Much less could be covered if driven by applications/problems or from axioms, and the rest of the math ecosystem is built around it. So, hard to change.