Talk:Dirac–von Neumann axioms