I have some books on quantum mechanics. These explains that states of a system are unit vectors and observables are represented by self-adjoint linear operator on a Hilbert space, etc ... but don't explain how to construct these Hilbert spaces and operators which satisfies expected axioms such as $[\hat{q}, \hat{p}]=i\hbar.$
How do you construct them?