Comment by bonzini

I think what he means as music theory is the next step after what this (blatantly AI-written, but passable) article talks about. This is the part that you take for granted, but it certainly is music theory in the same way that Peano's axioms are number theory even though you don't use them explicitly.