On the axiom system for non-relativistic quantum mechanics