수학과 논리/해석학과 고등수학 0