수학적으로(예상컨대 해석학으로) 어떻게 엄밀하게 증명할 수 있을까요