양자역학의 수학적 공식화