> But it's more like a mathematical theory, a set of axioms, and an algebra of relationships and properties that derive from them.

That's what I take issue with. I vaguely agree with the notion that music theory does have some kind of axiomatic form hidden deep within, but what can you prove? There is no fundamental theorem of Counterpoint, or that 12-tone rows are the work of the devil etc.