An Axiomatic Basis for Quantum Mechanics