Axiomatic Basis for Quantum Mechanics