증명을 엄밀하게 공리에 입각해서 하는거 말하는거 맞음?