The axioms are more high level: what is the major/minor form, how one derives the modes, etc.

It's not about reductionistically (?) deriving even those from first principles.