An Axiomatic Approach to the Formalism of Quantum Mechanics. II.