Dirac-von Neumann axioms

This is basically what became the dominant formulation as of 2020 (and much earlier), and so we just call it the "mathematical formulation of quantum mechanics".